algebraic-ornaments topic

List algebraic-ornaments repositories

Stars

Forks

Watchers

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.