maxsnew/cubical-categorical-logic
Extensions to the cubical stdlib category theory for categorical logic/type theory
AgdaMIT
Stargazers
- AtticusKuhnCambridge, United Kingdom
- clayratIMDEA Software
- cmcmA20
- danidiazArtificial Labs
- dannypsnl@second-state
- DrRuisseau
- ebigram
- fogtiChemnitz
- forked-from-1kasperMilky Way, Solar System, Earth
- gabriel-fallenKontur
- GenericMonkey
- JacquesCaretteMcMaster University
- jkopanskiWarsaw
- jonsterlingUniversity of Cambridge
- LighghtEelooUniversity of Michigan
- nikitavoloboevTbilisi
- ricky136973University of Cambridge
- roboguy13
- shhyouTaipei, Taiwan
- stschaef
- tkersey@thisisartium