Materijal za radionicu Coq-a po kursu "Software foundations" (CIS 500) Benjamin Pierce-a
forked from jamiepg1/software-foundations-coq-workshop
bitchef/software-foundations-coq-workshop
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Coq 98.2%
- Agda 1.8%