alexkeizer / QpfTypes

A WIP definitional (co)datatype package for Lean4
36Updated 4 months ago

Alternatives and similar repositories for QpfTypes:

Users that are interested in QpfTypes are comparing it to the libraries listed below