codatatypes topic
List
codatatypes repositories
QpfTypes
27
Stars
2
Forks
Watchers
A WIP definitional (co)datatype package for Lean4
