the-little-prover/j-bob

59 best points · 4 comments · 1 Hacker News post · 437 GitHub stars · View on GitHub

Hacker News discussions

• J-Bob – The proof assistant from “The Little Prover” (59 points, 4 comments, by ayberkt, 2015-07-27)