Anatole Dedecker's repositories
nonstandard
This may become a formalization of nonstandard analysis in the Lean Theorem Prover.
algorithm-archive
A collaborative book on algorithms
Language:PythonMIT000
Language:Lean000
Language:Python000
grifone-3-16
A formalization of exercise 3.16 of Grifone's "Algèbre Linéaire" in the Lean Theorem prover
Language:Lean000
Info121A_Cours
Documents et notes de l'édition confinée du cours de programmation impérative avancée du portail MPI
Language:C++000
000
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSSMIT000
000
mathlib4
Work in progress mathlib port for lean 4
Language:LeanApache-2.0000
natural_number_game
Building the natural numbers in Lean.
Language:LeanApache-2.0000
Language:LeanApache-2.0000
Language:Lean000
Language:Lean000