pkoch/software_foundations
Exercises in Coq for https://softwarefoundations.cis.upenn.edu/lf-current/index.html
HTMLMIT
Stargazers
No one’s star this repository yet.
Exercises in Coq for https://softwarefoundations.cis.upenn.edu/lf-current/index.html
HTMLMIT
No one’s star this repository yet.