Reddit Programming
209 subscribers
1.22K photos
125K links
I will send you newest post from subreddit /r/programming
Download Telegram
Software Foundations (Free ebook on basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems)
https://www.reddit.com/r/programming/comments/691g2y/software_foundations_free_ebook_on_basic_concepts/

submitted by /u/JeanParker (https://www.reddit.com/user/JeanParker)
[link] (https://www.cis.upenn.edu/~bcpierce/sf/current/index.html) [comments] (https://www.reddit.com/r/programming/comments/691g2y/software_foundations_free_ebook_on_basic_concepts/)