alexkeizer / QpfTypesLinks

A WIP definitional (co)datatype package for Lean4
41Updated this week

Alternatives and similar repositories for QpfTypes

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

Sorting: