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.
Language:Lean70 10 8465
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0 00
Leiden_2024
The user home repository for the Mathematics in Lean tutorial.
Language:HTML0 0 00
May22_Vilnius
Language:Lean0 1 00
lean-liquid
💧 Liquid Tensor Experiment
Language:Lean167 13 7612
lftcm2020
Lean for the Curious Mathematician 2020
Language:Lean63 16 6277
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362297
mathlib4
The math library of Lean 4
Language:Lean1.3k 38 392293
lean4
Lean 4 programming language and theorem prover
Language:Lean4.4k 68 1.7k387
joss
The Journal of Open Source Software
Language:Ruby1.5k 87 851183

faenuccio's Repositories

faenuccio/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0 00
faenuccio/Leiden_2024
The user home repository for the Mathematics in Lean tutorial.
Language:HTML0 0 00
faenuccio/May22_Vilnius
Language:Lean0 1 00