Experimental implementation of Cubical Type Theory
An experimental library for Cubical Agda
The People's Refinement Logic
😎TT
"Between the darkness and the dawn, a red cube rises!": a proof assista...
Towards changing things and see if it proofs
? Ground Zero: Lean Cubical Base Library
IntelliJ plugin for several experimental programming languages here
🧊 Модальний гомотопічний верифікатор математики