gavrielhirsch / software-foundations-coq-workshop Public

forked from jamiepg1/software-foundations-coq-workshop

Notifications You must be signed in to change notification settings
Fork 0
Star 0

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

0 stars 28 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
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

Report repository

Releases

No releases published

Packages

No packages published

Languages

Coq 98.2%
Agda 1.8%