Projects in Awesome Lists tagged with coinduction
A curated list of projects in awesome lists tagged with coinduction .
https://github.com/alexkeizer/QPFTypes
A WIP definitional (co)datatype package for Lean4
codatatypes coinduction coinductive-types datatypes lean lean4
Last synced: 31 Mar 2026
https://github.com/andreasabel/continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
agda call-by-name coinduction delay evaluation lambda-calculus monads
Last synced: 21 Feb 2026
https://github.com/isaac-defrain/coinduction
Coinductive types + techniques
Last synced: 02 Apr 2025
