Name		Name	Last commit message	Last commit date
agda		agda
resources		resources
Basics.v		Basics.v
Hoare.v		Hoare.v
Imp.v		Imp.v
Lists.v		Lists.v
Logic.v		Logic.v
Poly.v		Poly.v
Prop.v		Prop.v
README.md		README.md
SfLib.v		SfLib.v

Repository files navigation

software-foundations-coq-workshop

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

About

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

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages