Skip to content
Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea
Coq Agda
Failed to load latest commit information.
agda
resources
Basics.v
Hoare.v
Imp.v
Lists.v
Logic.v
Poly.v
Prop.v
README.md
SfLib.v

README.md

software-foundations-coq-workshop

Materijal za radionicu Coq-a po kursu "Software foundations" (CIS 500) Benjamin Pierce-a

Something went wrong with that request. Please try again.