Reid Barton

Results 2 repositories owned by Reid Barton

advent-of-lean-4

24
Stars
0
Forks
Watchers

Advent of Code 2020 solutions in Lean 4

lean-homotopy-theory

15
Stars
6
Forks
Watchers

A development of homotopy theory in the Lean formal theorem prover.