Qpftypes

A WIP definitional (co)datatype package for Lean4