Home / Functional Programming / J-Bob J-Bob The proof assistant from the book The Little Prover Package 436 stars GitHub Back to Functional Programming
