Hacker News
- Software Foundations by Benjamin Pierce et al. http://www.cis.upenn.edu/~bcpierce/sf/current/index.html 37 comments
- Software Foundations: Certified Programming in Coq https://www.cis.upenn.edu/~bcpierce/sf/current/index.html 13 comments compsci
- 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.cis.upenn.edu/~bcpierce/sf/current/index.html 8 comments programming
Linking pages
- GitHub - prakhar1989/awesome-courses: List of awesome university courses for learning Computer Science! https://github.com/prakhar1989/awesome-courses 137 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- Proving sorted lists correct using the Coq proof assistant | Random Hacks http://www.randomhacks.net/2015/07/19/proving-sorted-lists-correct-using-coq-proof-assistent/ 11 comments
- The HACMS program: using formal methods to eliminate exploitable bugs - PMC https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:cis.upenn.edu
Search title: Software Foundations
See how to search.