https://mitpress.mit.edu/books/little-prover https://mitpress.mit.edu/books/little-prover The Little Prover Written by Daniel P. Friedman and Carl Eastlund ht

https://mitpress.mit.edu/books/little-prover https://mitpress.mit.edu/books/little-prover The Little Prover Written by Daniel P. Friedman and Carl Eastlund https://the-little-prover.github.io https://the-little-prover.github.io J-Bob J-Bob is our little proof assistant, available on Github. For an introduction to J-Bob, see Appendix A of The Little Prover. J-Bob is available for ACL2, Scheme, and Racket