Pinned Repositories
Bunstech
Bunny catching system for Ophéline and Pâquerette
DL
EG
Formalizing Euclidean Geometry in Lean
hack-lean-in-lean-code
lean4-metaprogramming-book
learn_git
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
neukirch
RamificationGroup
Formalizing Ramification Group in LEAN
test_lean_project
jjdishere's Repositories
jjdishere/EG
Formalizing Euclidean Geometry in Lean
jjdishere/neukirch
jjdishere/Bunstech
Bunny catching system for Ophéline and Pâquerette
jjdishere/DL
jjdishere/hack-lean-in-lean-code
jjdishere/lean4-metaprogramming-book
jjdishere/learn_git
jjdishere/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
jjdishere/RamificationGroup
Formalizing Ramification Group in LEAN
jjdishere/test_lean_project