![David Thompson](https://identi.ca/uploads/davexunit/2017/2/7/aq8KmA_thumb.jpg)
I have completed my collection of "Little" books by picking up "The Little Prover" on Wednesday night. Learning about proofs in computer programs is fun!
https://mitpress.mit.edu/books/little-prover
https://mitpress.mit.edu/books/little-prover
Christopher Allan Webber, Claes Wallin (韋嘉誠) likes this.
Christopher Allan Webber, Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠) shared this.