Shing Tak Lam's repositories
maths-tripos-questions
Archive of questions from the Cambridge Mathematics Tripos
Language:TeX000
Language:Lean000
Language:TeX000
Language:LeanNOASSERTION000
000
Language:Lean000
lean
Lean Theorem Prover
Apache-2.0000
Lean-game-maker
This project converts structured Lean code into an interactive browser game.
Language:TypeScriptApache-2.0000
lean4
Lean4 work in progress repo
Apache-2.0000
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSSMIT000
mathlib4
Work in progress mathlib port for lean 4
Language:LeanApache-2.0000
mathlib_docs
Hosts the HTML documentation for mathlib.
Language:HTML000
natural_number_game
Building the natural numbers in Lean.
Apache-2.0000
Language:Python000
Language:PythonApache-2.0000
sphere-eversion
Formalization of the existence of sphere eversions
Language:TeX000
Language:HTML000