Written by Daniel P. Friedman and Carl Eastlund Drawings by Duane Bibby Foreword by J Strother Moore Afterword by Matthias Felleisen
Available from MIT Press
J-Bob is our little proof assistant, available on Github . For an introduction to J-Bob, see Appendix A of The Little Prover.