PhD student in mathematics.
Repositories
ADedecker/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
ADedecker/brownian-motion
Construction of a Brownian Motion in Lean
ADedecker/mathlib4
The math library of Lean 4
ADedecker/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
ADedecker/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
ADedecker/ProperAction
ADedecker/PrimeNumberTheoremAnd
ADedecker/nonstandard
This may become a formalization of nonstandard analysis in the Lean Theorem Prover.
ADedecker/amenable
Mémoire de M1 sur les groupes localement compacts moyennables
ADedecker/algorithm-archive
A collaborative book on algorithms
ADedecker/gauss
A (successful !) attempt at computing the Gaussian integral in Lean
ADedecker/distributions
ADedecker/wedderburn
ADedecker/Info121A_Cours
Documents et notes de l'édition confinée du cours de programmation impérative avancée du portail MPI
ADedecker/grifone-3-16
A formalization of exercise 3.16 of Grifone's "Algèbre Linéaire" in the Lean Theorem prover
ADedecker/HOTT
ADedecker/series
ADedecker/mandelbrot
ADedecker/functional-compare
ADedecker/natural_number_game
Building the natural numbers in Lean.