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.