Artifact for "Proof Repair across Quotient Type Equivalences" paper (under submission)
Primary LanguageAgda