97 Repositories
plzoo
1584
homotopy-type-theory-course
313
spartan-type-theory
274
marshall
129
coop
92
Homotopy
90
alg
85
notes-on-realizability
76
mathematics-and-computation
56
faux-type-theory
56
clerical
56
what-is-algebraic-about-algebraic-effects
49
social-distancing-simulator
30
formalized-mathematics-in-lean
26
miniLCF
25
simple-random-art
18
higher-rank-syntax
17
hydra
16
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
UniMath
1
type-theory-slovene-dictionary
1
TopologyPrimerTest
1
Schools
1
lograc-project-2022-stop-logic
1
lograc-2022
1
haskell-fast-reals
1