faenuccio
I am Lecturer (Maître de Conférences) in Pure Mathematics in Saint-Étienne, France
Université Jean-MonnetSaint-Étienne, France
Pinned Repositories
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Leiden_2024
The user home repository for the Mathematics in Lean tutorial.
May22_Vilnius
lean-liquid
💧 Liquid Tensor Experiment
lftcm2020
Lean for the Curious Mathematician 2020
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
lean4
Lean 4 programming language and theorem prover
joss
The Journal of Open Source Software
faenuccio's Repositories
faenuccio/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
faenuccio/Leiden_2024
The user home repository for the Mathematics in Lean tutorial.
faenuccio/May22_Vilnius