Lectures on Software Foundations
Lecture materials and Coq source files accompanying YouTube videos on the Software Foundations textbook.
What is Lectures on Software Foundations?
sf-lectures is a collection of lecture materials and Coq source files designed to accompany a YouTube video series on the *Software Foundations* textbook. It helps learners understand formal verification and programming language theory through practical examples and exercises. The resources bridge video content with hands-on coding in the Coq proof assistant.
Students, educators, and developers interested in formal methods, theorem proving, and programming language theory, particularly those using the *Software Foundations* textbook or taking related courses.
It provides a structured, practical complement to the textbook and video lectures, offering ready-to-use Coq files that enhance understanding and enable interactive learning. The materials are curated by an instructor, ensuring alignment with educational goals.
Overview
Software Foundations
Use Cases
Best For
- Learning formal verification with Coq through guided video lectures
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
