Arc Forumnew | comments | leaders | submit | im's submissions login

1. Shorter programs, fewer axioms 10 points by im 6106 days ago | 14 comments