vix.ing
·
top
·
new
·
best
·
stats
·
spec
Bottoni, Mattia Luciano
Teaching "Foundations of Mathematics" with the Lean Theorem Prover
2025/01/06 by
Bottoni, Mattia Luciano
,
Cattaneo, Alberto S.
,
Sacikara, Elif
· 1 citation
#FOS: Mathematics
#History and Overview (math.HO)