Geeks
codatatypes
There are 1 repositories under codatatypes topic.
alexkeizer/
QpfTypes
A WIP definitional (co)datatype package for Lean4
Language:
Lean
31
4
20
4