software-foundations
There are 20 repositories under software-foundations topic.
rami3l/PLFaLean
Learn Lean 4 with PLFA proofs.
PnVDiscord/software-foundations-lean
📚 (WIP) Rewriting Software Foundations in Lean 4
meduzik/software-foundations-ru
Russian Translation for Software Foundations book.
frankYaohua/Sudoku-Game-by-Coq
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
chiragbharadwaj/learning-coq
Learning Coq by following the classic "Software Foundations" texts.
FedericoBruzzone/software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
minhnhdo/programming-language-foundations-in-idris
Programming language foundations in Idris
yanhick/coq-exercises
Exercises from software foundation for the Coq proof assistant
onelharrison/software-foundations
A program for generating PDFs of the Software Foundations books.
shij-hsu/coq
coq试验场
vyorkin/sf-ssreflect
:construction: Working through the SF using ssreflect
JeremySorensen/DiscoverCoding
Learn computer science and programming with help from an expert with years of professional experience.
luckyuro/sf_exercise
exercises for software foundations
The-Wallfacer-Plan/coqL
coq learning
belamenso/software-foundations-solutions
Solutions for books in Software Foundations series
chrisnevers/software-foundations
Examples and Exercises From Software Foundations
giacomocavalieri/software-foundations
Code from the "Software Foundations" books
timmyjose-experiments/software_foundations
Working through the Software Foundations course.
yjhmelody/software-foundations
software-foundation