Similar repositories to Lapin0t/induction-recursion:
Lapin0t/induction-recursion
github
similar
trommler/VeriGHC
github
similar
konn/vscode-redtt-diagnostics
github
similar
jonsterling/racket-grit
github
similar
m-yac/tt-in-cagda
github
similar
groupoid/anders
github
similar
ayberkt/Mini-TT
github
similar
ericfinster/catt
github
similar
effectfully/Cubes
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
fsestini/tt-in-cubical
github
similar
uelis/contextual
github
similar
smimram/catt
github
similar
AndrasKovacs/qiit-generalizations
github
similar
wilbowma/infernalize
github
similar
edgan8/clampcheck
github
similar
mikeshulman/dirtt
github
similar
matklad/parse_tree
github
similar
hecrj/iced
github
similar
JasonGross/slow-coq-examples
github
similar
gallais/agda-pretty-notgreedy
github
similar
kosmikus/hkd-sop
github
similar
jonsterling/lecture-notes
github
similar
stepchowfun/effects-paper
github
similar
AndrasKovacs/preordertt
github
similar
dlicata335/cubicalexperiments
github
similar
anuyts/menkar
github
similar
sergei-romanenko/spsc-idris
github
similar
IanOrton/decomposing-univalence
github
similar
pigworker/Gigs-Summer-2018
github
similar
meta-logic/coq-ll
github
similar
ziman/itt-idris
github
similar
JakobeBussey/StoneSpaces1130
github
similar
jozefg/independence-of-the-continuum-hypothesis
github
similar
UniMath/opam-repository
github
similar
fsestini/nbe-mltt-wes
github
similar
jashug/ConstructingII
github
similar
tail-reversion/soranus
github
similar
nhyne/zio-bazel
github
similar
robrix/Manifold
github
similar