3 ms·
I'm about to start reading "The Little Prover" (https://mitpress.mit.edu/books/little-prover https://mitpress.mit.edu/books/little-prover) which sounds like a g
by joshmarlow 10y ago
I'm about to start reading "The Little Prover" (https://mitpress.mit.edu/books/little-prover https://mitpress.mit.edu/books/little-prover) which sounds like a good intro.
- nickpsecurity 10y agoThe Amazon reviews on it look good. I like how it's very incremental and more manual than modern provers. The latter being advantages as the beginner will have a glimpse of what they're doing or why. I might order a copy.