cubical-type-theory topic

List cubical-type-theory repositories

cubical

428
Stars
132
Forks
Watchers

An experimental library for Cubical Agda

verified publisher icon agda

anders

18
Stars
1
Forks
Watchers

Anders: Cubical Type Checker

verified publisher icon forked-from-1kasper

ground_zero

44
Stars
1
Forks
Watchers

Ground Zero: Lean 4 HoTT Library

verified publisher icon forked-from-1kasper

cubeViz2

22
Stars
2
Forks
Watchers

verified publisher icon marcinjangrzybowski

anders

17
Stars
3
Forks
Watchers

🧊 Модальний гомотопічний верифікатор математики

verified publisher icon groupoid