awesome-provable
github.com/awesomo4000/awesome-provable ↗A curated set of links to formal methods involving provable code.
223
GitHub Stars
60
Curated Resources
6
Categories
2 hours ago
Last Refreshed
LanguagesProof AssistantsProjectsBooksCoursesMore
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me courses resources from awesome-provable"
Installation instructions →What's inside
Courses
- 2015 Coq Proof Assistant and Its Applications to Programming-Language Semantics
- Adam Chlipala Lecture 1, OPLSS 2015
- Bedrock: A Software Development Ecosystem Inside a Proof Assistant
- Benjamin Pierce - Software Foundations Course
Software Foundations Course
- CACM August 2016 - Ur/Web: A Simple Model for Programming the Web
Ur/Web: A Simple Model for Programming the Web
- Coming Soon Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
Books
More
Showing a sample of 60 resources. View the full list on GitHub →