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