Arc Forumnew | comments | leaders | submit | im's submissionslogin
1.
Shorter programs, fewer axioms
10 points by im 5926 days ago | 14 comments