TopNewBestAskShowJobs
1.
J-Bob – The proof assistant from “The Little Prover” (github.com/the-little-prover)
59 points
ayberkt
11 years ago
4 comments