Oddbean new post about | logout
▲ ▼
Layerjack (Onion Knight) | 5 months ago (raw) | full thread 
 New proofs finished in November?