cubical-type-theory topic

Towards changing things and see if it proofs

molikto

🧊 An indexed construction of semi-simplicial and semi-cubical types

artagnon

😎TT

RedPRL

Experimental implementation of Cubical Type Theory

mortberg

The People's Refinement Logic

RedPRL

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

RedPRL

quotient types in cubical Agda

kcsmnt0

IntelliJ plugin for several experimental programming languages here

owo-lang

Category theory formalized in cubical agda

TOTBWF

🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

RedPRL