Kim Morrison

icon indicating a website link https://tqft.net icon indicating an email [email protected]

icon location Canberra

Results 2 repositories owned by Kim Morrison

lean-category-theory

46
Stars
9
Forks
Watchers

An experimental category theory library for Lean

verified publisher icon semorrison

lean-training-data

21
Stars
5
Forks
Watchers

verified publisher icon semorrison