pkrumins / the-little-prover

All code examples from "The Little Prover" book
23Updated 8 years ago

Related projects

Alternatives and complementary repositories for the-little-prover