Projects in Awesome Lists tagged with cubical-agda
A curated list of projects in awesome lists tagged with cubical-agda .
https://github.com/innovativeinventor/proof-repair-quotients
Artifact for "Proof Repair across Quotient Type Equivalences" paper (under submission)
cubical-agda cubical-type-theory proof-engineering proof-repair
Last synced: 26 Feb 2025
