David Thompson

David Thompson at

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

Christopher Allan Webber, Claes Wallin (韋嘉誠) likes this.

Christopher Allan Webber, Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠) shared this.