Similar repositories to semorrison/lean-category-theory:
semorrison/lean-category-theory
github
similar
danistefanovic/build-your-own-x
github
similar
RobertHarper/hott-notes
github
similar
gibiansky/IHaskell
github
similar
Eloston/ungoogled-chromium
github
similar
tootsuite/mastodon
github
similar
tuvtran/project-based-learning
github
similar
k6io/k6
github
similar
b-mehta/topos
github
similar
gebner/hott3
github
similar
flypitch/flypitch
github
similar
leanprover-community/lean-perfectoid-spaces
github
similar
kcsmnt0/quotient
github
similar
CHTT-s18/lecture-notes
github
similar
mr-ohman/logrel-mltt
github
similar
aquynh/capstone
github
similar
Eugeny/terminus
github
similar
hecrj/iced
github
similar
leanprover/presentations
github
similar
forked-from-1kasper/leanbot
github
similar
kbuzzard/lean-stacks-project
github
similar
ImperialCollegeLondon/M4P33
github
similar
mortberg/yacctt
github
similar
groupoid/anders
github
similar
PatrickMassot/lean-verbose
github
similar
avigad/qpf
github
similar
xuanruiqi/algebraic-geometry
github
similar
leo-colisson/zx-calculus
github
similar
mortberg/gen-cart
github
similar
jldodds/coq-lean-cheatsheet
github
similar
jonsterling/coq-domains
github
similar
JohnReppy/compiling-pattern-guards
github
similar
mietek/hilbert-gentzen
github
similar
fredefox/cat
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
Chaaaos/formaltt
github
similar
mb64/xtt
github
similar
mhuisi/lean4-cli
github
similar
TOTBWF/agda-sgd
github
similar
AndrasKovacs/preordertt
github
similar