VOOZH

URL: https://github.com/topics/coinductive-types

⇱ coinductive-types · GitHub Topics · GitHub

#

coinductive-types

Here are 4 public repositories matching this topic...

alexkeizer / QPFTypes

A WIP definitional (co)datatype package for Lean4

lean coinduction coinductive-types datatypes lean4 codatatypes

Updated
Lean

gallais / agda-sizedIO

IO using sized types and copatterns

experimental bindings agda directory-tree filepath input-output coinductive-types sized-types

Updated
Agda

vishallama / coinductive-types

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

Updated
Coq

wkolowski / Seminar-Bisimulation-and-Coinduction

Code and slides for my talk presented at the seminar.

topology functional-programming type-theory category-theory induction inductive-types coinduction coinductive-types intuition

Updated
TeX

Improve this page

Add a description, image, and links to the coinductive-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the coinductive-types topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.