My proofs for the Coq proof assistant
-
Updated
Aug 23, 2021 - Coq
My proofs for the Coq proof assistant
A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".
Add a description, image, and links to the induction topic page so that developers can more easily learn about it.
To associate your repository with the induction topic, visit your repo's landing page and select "manage topics."