#

cubical-agda

Here are 2 public repositories matching this topic...

marcinjangrzybowski / cubeViz2

haskell vr cubical-type-theory agda webgl2 cubical-agda proof-asistant vebxr

Updated Jul 21, 2023
Haskell

InnovativeInventor / proof-repair-quotients

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

cubical-type-theory proof-engineering cubical-agda proof-repair

Updated Mar 3, 2024
Agda

Improve this page

Add a description, image, and links to the cubical-agda topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cubical-agda topic, visit your repo's landing page and select "manage topics."