#
coinduction
Here are 5 public repositories matching this topic...
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
-
Updated
Oct 8, 2018 - Coq
A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".
-
Updated
Mar 2, 2020 - Coq
CoInduction Termination and Category Theory
-
Updated
Mar 28, 2017 - Coq
Improve this page
Add a description, image, and links to the coinduction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the coinduction topic, visit your repo's landing page and select "manage topics."