Reid Barton
Results
2
repositories owned by
Reid Barton
lean-homotopy-theory
15
Stars
6
Forks
Watchers
A development of homotopy theory in the Lean formal theorem prover.