Restore judged-good logbook 809ce340 (revert stale 08:12 auto-sync that dropped claim content) d3b5ebf verified DineshAI commited on 11 days ago
Update logbook: Repro - Approximate Proportionality in Online Fair Division (4T8vEVK79x) 39275d3 verified DineshAI commited on 11 days ago
Fix Claim 2 (RAND, claimed 27/128 constant + adversarial); add Claim 4 (Alg 1 under MIV error) and Claim 5 (EF1/MMS/PROPX impossibility) 809ce34 verified DineshAI commited on 12 days ago
Update logbook: Repro - Approximate Proportionality in Online Fair Division (4T8vEVK79x) 5649872 verified DineshAI commited on 12 days ago
Update logbook: Repro - Approximate Proportionality in Online Fair Division (4T8vEVK79x) fbc414a verified DineshAI commited on 13 days ago
