vishallama / coinductive-types Public

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

Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Inductive and Co-inductive Types (tutorial code)

Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

About

Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

lambda-calculus coq type-theory inductive-types formal-verification coinductive-types

Report repository

Releases

No releases published

Packages

No packages published

Languages

Coq 100.0%