See the installation instructions at course page
semantics-classroom/coq-intro-problems-dj-kostya
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Generated from semantics-classroom/coq-intro-sirius-2021