91 Repositories
plzoo
1433
homotopy-type-theory-course
273
spartan-type-theory
248
marshall
117
Homotopy
90
coop
88
alg
83
notes-on-realizability
65
what-is-algebraic-about-algebraic-effects
46
mathematics-and-computation
46
social-distancing-simulator
29
clerical
22
miniLCF
21
simple-random-art
16
higher-rank-syntax
16
repl-in-browser
15
mathematical-stories
13
hydra
12
kmeans
11
andromeda
11
zeroes
10
rz
9
dependent-type-theory-syntax
8
ppj-skripta
7
ucbenik-logika-in-mnozice
6
slack-to-discord
6
lvr-sat
5
costa-surface
5
lvr-coq
4
HoTT
4
eff
4
the-daily-algebra
3
lean2sexp
3
formal-type-theory
3
effects-bibliography
3
book
3
jurij
2
coq-clerical
2
backup
2
UniMath
1
Schools
1
lograc-project-2022-stop-logic
1
lograc-2022
1
haskell-fast-reals
1
formaltt
1
formalabstracts
1
agda-writer
1
agda-categories
1
vislice
0
vaje-iz-funkcij
0