proof-reuse

There are 1 repositories under proof-reuse topic.

  • uwplse/pumpkin-pi

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

    Language:Coq4911579