/software-foundations-coq-workshop

Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea

Primary LanguageCoq

No issues in this repository yet.