96 Repositories
plzoo
1579
homotopy-type-theory-course
311
spartan-type-theory
273
marshall
129
coop
92
Homotopy
89
alg
85
notes-on-realizability
75
clerical
55
mathematics-and-computation
54
what-is-algebraic-about-algebraic-effects
48
faux-type-theory
47
social-distancing-simulator
30
formalized-mathematics-in-lean
27
miniLCF
25
simple-random-art
18
higher-rank-syntax
17
hydra
16
repl-in-browser
15
andromeda
15
zeroes
14
partial-combinatory-algebras
14
kmeans
11
rz
9
ppj-skripta
9
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
HoTT
4
eff
4
formal-type-theory
3
effects-bibliography
3
book
3
agda
3
jurij
2
coq-clerical
2
backup
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
formaltt
1