Arc Forum
new
|
comments
|
leaders
|
submit
|
im's submissions
login
1.
Shorter programs, fewer axioms
10 points
by
im
6120 days ago |
14 comments