sf-lectures
Foundational lectures
Lectures on software foundations, accompanying YouTube videos and Coq source files for teaching formal verification
Software Foundations
116 stars
7 watching
29 forks
Language: HTML
last commit: over 2 years agoLinked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 thery/flocqlecture | An introductory course on floating-point numbers and formal proof using Coq | 6 |
 xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 compilers-course-materials/cs75-s16-lectures | A collection of lecture materials and resources for teaching compilers in a computer science course | 41 |
 developer-y/cs-video-courses | A collection of computer science courses with video lectures for self-study and learning | 67,524 |
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 292 |
 bos/stanford-cs240h | Course materials and resources for teaching functional systems in Haskell to students. | 650 |
| xavierleroy/cdf-program-logics | Companion Coq development for teaching program logics | 40 |
 marshall-lee/software_foundations | A collection of Coq proof solutions to Software Foundations course exercises | 33 |
 coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
 mgrabovsky/fm-notes | A collection of notes and resources on formal methods, type theory, and theorem proving using Coq. | 21 |
 discus-lang/iron | Formalizations of functional languages with a focus on proof and verification | 142 |
 aaronbloomfield/pdr | A comprehensive repository for teaching university-level data structures and algorithms course materials | 114 |
 vlopezj/coq-course | A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification. | 38 |
 sebastianharko/adv-es-cqrs-ddd | A collection of talks and resources on advanced topics in Event Sourcing, CQRS, and DDD for building scalable and maintainable software systems. | 109 |
 cbahlai/osrr_course | A framework for teaching and practicing open science and reproducible research methods to early career scientists | 57 |