the-little-prover. All code examples from "The Little Prover" book

github.com/pkrumins/the-little-prover
by @pkrumins

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.