101 Repositories
plzoo
1592
homotopy-type-theory-course
314
spartan-type-theory
275
marshall
129
coop
94
Homotopy
90
alg
86
notes-on-realizability
76
faux-type-theory
61
mathematics-and-computation
58
clerical
56
what-is-algebraic-about-algebraic-effects
49
social-distancing-simulator
30
formalized-mathematics-in-lean
29
miniLCF
26
simple-random-art
18
higher-rank-syntax
18
hydra
17
andromeda
16
repl-in-browser
15
zeroes
14
partial-combinatory-algebras
14
kmeans
11
rz
10
ppj-skripta
10
dependent-type-theory-syntax
9
ucbenik-logika-in-mnozice
7
lean2sexp
7
slack-to-discord
6
costa-surface
6
lvr-sat
5
triposes
4
lvr-coq
4
LaTeX-input-MacOS
4
HoTT
4
eff
4
formal-type-theory
3
effects-bibliography
3
book
3
jurij
2
coq-clerical
2
backup
2
agda
2
UnimathTypeTheory
1
UniMath
1
type-theory-slovene-dictionary
1
TopologyPrimerTest
1
spectre-explorer
1
Schools
1
lograc-project-2022-stop-logic
1