package coq-coinductive-examples
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Some simple examples about co-inductive types and co-induction
Install
Dune Dependency
Authors
Maintainers
Sources
v8.5.0.tar.gz
md5=7b2698cf70c0a36a3bd30cc69bbf0b4b
Description
This directory containts some simple examples about the use of co-inductive types in Coq. Directory ARITH is about non-standard arithmetic. Directory STREAMS contains examples about schemes, including an application of the translation method presented in Eduardo Giménez's article ``Codifying guarded definitions with recursive schemes'' (LNCS no. 996).
Tags
keyword:co-inductive types keyword:co-induction category:Miscellaneous/Coq Use ExamplesPublished: 07 Jun 2016
On This Page