Pinned Repositories
lean
Lean 3 Theorem Prover (community fork)
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
alg-top
analysis-i
counterexamples
lean_blog
lecture-summary
mish
A no-std libm implementation in Rust
step3-06-q8-lean
tda
shingtaklam1324's Repositories
shingtaklam1324/alg-top
shingtaklam1324/analysis-i
shingtaklam1324/counterexamples
shingtaklam1324/lean_blog
shingtaklam1324/lecture-summary
shingtaklam1324/maths-tripos-questions
Archive of questions from the Cambridge Mathematics Tripos
shingtaklam1324/tda
shingtaklam1324/2023-summer-research
shingtaklam1324/advent-of-code
shingtaklam1324/advent-of-code-2020
shingtaklam1324/approx
shingtaklam1324/constructible-nums
shingtaklam1324/darboux
shingtaklam1324/handouts
shingtaklam1324/HoPLaAR
shingtaklam1324/index
shingtaklam1324/iva
shingtaklam1324/lean
Lean Theorem Prover
shingtaklam1324/Lean-game-maker
This project converts structured Lean code into an interactive browser game.
shingtaklam1324/lean4
Lean4 work in progress repo
shingtaklam1324/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
shingtaklam1324/lecind
shingtaklam1324/mathlib4
Work in progress mathlib port for lean 4
shingtaklam1324/mathlib_docs
Hosts the HTML documentation for mathlib.
shingtaklam1324/natural_number_game
Building the natural numbers in Lean.
shingtaklam1324/paper-maker
shingtaklam1324/Pseudocode
shingtaklam1324/shingtaklam1324
shingtaklam1324/sphere-eversion
Formalization of the existence of sphere eversions
shingtaklam1324/website