algebraic-ornaments

There are 0 repository under algebraic-ornaments topic.

uwplse / pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
coq coq-plugin pumpkin-patch devoid ornaments proof-reuse dependent-types algebraic-ornaments pumpkin-pi equivalences transport proof-repair repair refactoring proof-refactoring proof-assistants
Language:Coq 49