Projects in Awesome Lists tagged with codatatypes
A curated list of projects in awesome lists tagged with codatatypes .
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/alexkeizer/qpftypes
A WIP definitional (co)datatype package for Lean4
codatatypes datatypes lean lean4
Last synced: 16 Jul 2025