algebraic-ornaments
There are 1 repositories under algebraic-ornaments topic.
uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
There are 1 repositories under algebraic-ornaments topic.
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.