YaelDillies

Yaël Dillies's repositories

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

Language:LeanApache-2.02700

Lectures notes from the 2023-24 Cambridge Part III courses

Language:TeX300

Formalisation of the Kelley-Meka bound on Roth numbers

Language:LeanApache-2.01000

Hosts the website for mathlib and other Lean community infrastructure.

MIT000

Port of John Talbot's Lean 3 formalisation of Turán's theorem to Lean 4

Language:Lean000

plasTeX plugin to build formalization blueprints in Lean 4

Language:Python000

Mathport is a tool for porting Lean3 projects to Lean4

Apache-2.0000

Lean Theorem Prover

Language:C++Apache-2.0000

Work in progress mathlib port for lean 4

Apache-2.0000

An extension for VS Code which provides support for the Lean language.

Language:TypeScriptApache-2.0000

Emacs mode for Lean

Apache-2.0000

Cours et polycopiés pour Animath et la POFM

Language:TeX000

Emacs major mode for Lean 4

Apache-2.0000

The QARCH publication of The Archimedeans, Cambridge

Language:TeXApache-2.0000

Code source du bot du Discord de Mathraining

000