Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
"The Little Prover" Theorem Proving from Author of the Little Schemer | Heykuki News
"The Little Prover" Theorem Proving from Author of the Little Schemer
mitpress.mit.edu
1 point
Homunculiheaded
11 years ago
No comment yet