Pinned Repositories
lean-rsk
RSK bijection in Lean
tripping-octo-bear
A test repository.
tutorial
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
hermite
lean-bruhat
Bruhat orders for symmetric groups
lean-topology
Fun times formalizing topology in Lean 3
jakelev's Repositories
jakelev/lean-rsk
RSK bijection in Lean
jakelev/tripping-octo-bear
A test repository.
jakelev/tutorial