Similar repositories to thibautbenjamin/catt:
thibautbenjamin/catt
github
similar
groupoid/anders
github
similar
jonsterling/sml-pronominal-ml
github
similar
tootsuite/mastodon
github
similar
oisdk/finiteness-in-cubical-type-theory
github
similar
cocreature/pfpl-redex
github
similar
RobertHarper/hott-notes
github
similar
lukaszcz/coinduction
github
similar
amblafont/UniversalII
github
similar
rowandavies/sml-cidre
github
similar
jonsterling/coq-domains
github
similar
ericfinster/opetopic-types
github
similar
jozefg/fibrational-semantics
github
similar
mr-ohman/intuitionistic-normalization
github
similar
dlicata335/cubicalexperiments
github
similar
JLimperg/well-founded-corecursion
github
similar
cj-xu/OrdinalNotations
github
similar
nad/dependent-lenses
github
similar
jonsterling/effectful-typesetting
github
similar
superhaNds/cwfs
github
similar
jonsterling/agda-abt
github
similar
jozefg/independence-of-the-continuum-hypothesis
github
similar
UlfNorell/agda-bench
github
similar
effectfully/Generic
github
similar
andrejbauer/miniLCF
github
similar
ehildenb/homod
github
similar
heades/cut-fill-agda
github
similar
ivan-m/transmogrify
github
similar
cmcl/msci
github
similar
jirkamarsik/ling-eff
github
similar
jonsterling/ocaml-abt
github
similar
jonsterling/sml-spreads
github
similar
noamz/linlam-gos
github
similar
lucaspena/coinduction
github
similar
jozefg/concurrent-stack-with-helping
github
similar
Jermolene/TiddlyDesktop
github
similar
jonsterling/lecture-notes
github
similar
Gabriel439/graph
github
similar
Trebor-Huang/agda-linear
github
similar
yforster/coq-synthetic-computability
github
similar