The Little Prover's proof assistant (J-Bob) code published
There's now a little webpage for the book and source code for the included library available.
Claes Wallin (韋嘉誠), David Thompson, X11R5 likes this.
Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠) shared this.