Canberra

Kim Morrison

Elite
@kim-em
tqft.net

lean-training-data. Lean

62

lean-category-theory. An experimental category theory library for Lean

52

lean-tidy. Lean

8

lean-monoidal-categories. Lean

6

hott-2017. Homotopy type theory reading group at ANU, 2017

6

lean-sage. Lean

5

category-theory-2017. TeX

4

lean-finmap. Lean

4

KnotTheory. Mathematica

3

KhBraids. Mathematica

2

lean-monadic-list. Further development of the Lean `MLList` monadic lazy list type.

2

mathscinet-arxiv-links. A Chrome/Firefox extension that inserts links to arXiv preprints on MathScinet pages, where possible.

2

lean-category-theory-pr. Lean

2

kbb. Lean

2

proof. Lean

2

mathlib4. The math library of Lean 4

2

lean-auto. Experiments in automation for Lean

1

lean-crypto-hash. Lean

1

arxiv-toolkit. HTML

1

crucible. Python

1

autograder_false. Lean

1
21
Apply