96 Repositories
plzoo
1483
homotopy-type-theory-course
289
spartan-type-theory
262
marshall
123
Homotopy
92
coop
89
alg
83
notes-on-realizability
72
mathematics-and-computation
51
what-is-algebraic-about-algebraic-effects
46
clerical
42
social-distancing-simulator
29
formalized-mathematics-in-lean
25
miniLCF
22
simple-random-art
17
higher-rank-syntax
17
repl-in-browser
15
hydra
15
andromeda
15
partial-combinatory-algebras
13
mathematical-stories
13
zeroes
12
kmeans
11
rz
9
dependent-type-theory-syntax
9
ppj-skripta
8
ucbenik-logika-in-mnozice
7
slack-to-discord
6
lean2sexp
6
lvr-sat
5
costa-surface
5
triposes
4
lvr-coq
4
HoTT
4
eff
4
the-daily-algebra
3
formal-type-theory
3
effects-bibliography
3
book
3
agda
3
jurij
2
coq-clerical
2
backup
2
UniMath
1
TopologyPrimerTest
1
Schools
1
lograc-project-2022-stop-logic
1
lograc-2022
1
haskell-fast-reals
1
formaltt
1