sgouezel

Pinned Repositories

BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Language:Lean00
BRiAl
Successor to PolyBoRi
Language:C++0 1 00
carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean00
kolmogorov_extension4
Language:Lean00
mathlib
Lean mathematical components library
Language:Lean00
natural_number_game
Building the natural numbers in Lean.
Language:Lean10
numpy
Numpy main repository
Language:C00
pfr
Language:Lean00

sgouezel's Repositories

sgouezel/natural_number_game
Building the natural numbers in Lean.
Language:Lean10
sgouezel/BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Language:Lean00
sgouezel/BRiAl
Successor to PolyBoRi
Language:C++0 1 00
sgouezel/carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean00
sgouezel/kolmogorov_extension4
Language:Lean00
sgouezel/mathlib
Lean mathematical components library
Language:Lean00
sgouezel/numpy
Numpy main repository
Language:C00
sgouezel/pfr
Language:Lean00
sgouezel/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Language:Lean00
sgouezel/vscode-lean
An extension for VS Code which provides support for the Lean language.
Language:TypeScript00