Projects in Awesome Lists tagged with software-foundations
A curated list of projects in awesome lists tagged with software-foundations .
https://github.com/rami3l/PLFaLean
Learn Lean 4 with PLFA proofs.
lean lean4 plfa programming-language-foundations software-foundations
Last synced: 02 May 2025
https://github.com/rami3l/plfl
Learn Lean 4 with PLFA proofs.
lean lean4 plfa programming-language-foundations software-foundations
Last synced: 30 Mar 2025
https://github.com/pnvdiscord/software-foundations-lean
📚 (WIP) Rewriting Software Foundations in Lean 4
formal-verification lean programming-language-theory software-foundations
Last synced: 01 Nov 2025
https://github.com/yanhick/coq-exercises
Exercises from software foundation for the Coq proof assistant
Last synced: 26 May 2026
https://github.com/vyorkin/sf-ssreflect
:construction: Working through the SF using ssreflect
coq software-foundations ssreflect
Last synced: 28 Oct 2025
https://github.com/federicobruzzone/software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
coq coq-library functional-programming ocaml software-foundations
Last synced: 04 Feb 2026
https://github.com/giacomocavalieri/software-foundations
Code from the "Software Foundations" books
Last synced: 27 Jan 2026
