avigad/qpf

Datatypes as quotients of polynomial functors

LeanApache-2.0

Issues

Support mutual data declarations
#2 opened 5 years ago by ratmice
1
error using with external package outside of a namespace
#1 opened 5 years ago by ratmice
3