Jeremy Toh's repositories
Language:PythonMIT000
cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
Language:TeX000
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML000
Language:LeanApache-2.0000
Language:Lean000
LFTCM2024
Repository for the conference LFTCM2024
Language:LeanApache-2.0000
LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Language:LeanApache-2.0000
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScriptApache-2.0000
latex-mimosis
A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
Language:TeXMIT000
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
cam-notes
My Cambridge Lecture Notes
Language:TeX000
lean4-mode
Emacs major mode for Lean 4
Language:Emacs LispApache-2.0000
000
tp
AB3
Language:JavaMIT000
000
000
Language:Java000