MichaelStollBayreuth

Pinned Repositories

mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 55 362299
mathlib4
The math library of Lean 4
Language:Lean1.1k 40 370247
lean4
Lean 4 programming language and theorem prover
Language:Lean3.9k 69 1.6k335
EulerProducts
An attempt at formalizing facts on Euler products in Lean
Language:Lean61
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
LegendreQF
Lean code formalizing a proof of Legendre's theorem on diagonal ternary quadratic forms
Language:Lean10
MichaelStollBayreuth
Config files for my GitHub profile.
00
ratpoints
The ratpoints library and command-line program
Language:C00
seminar-bayreuth-2022
For work done in the seminar on formalization in Bayreuth 2022/2023
Language:Lean00
Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
Language:Lean60

MichaelStollBayreuth's Repositories

MichaelStollBayreuth/EulerProducts
An attempt at formalizing facts on Euler products in Lean
Language:Lean61
MichaelStollBayreuth/Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
Language:Lean60
MichaelStollBayreuth/LegendreQF
Lean code formalizing a proof of Legendre's theorem on diagonal ternary quadratic forms
Language:Lean10
MichaelStollBayreuth/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
MichaelStollBayreuth/MichaelStollBayreuth
Config files for my GitHub profile.
00
MichaelStollBayreuth/ratpoints
The ratpoints library and command-line program
Language:C00
MichaelStollBayreuth/seminar-bayreuth-2022
For work done in the seminar on formalization in Bayreuth 2022/2023
Language:Lean00