BA Philosophy (Università Cattolica - Milano)
MA Mathematical Logic & Philosophy of Science (Università Cattolica - Milano)
-
05:40
- 1h ahead
-
HepLean Public
Forked from HEPLean/HepLeanA project to digitalise results from high energy physics into Lean.
Lean Apache License 2.0 UpdatedJan 28, 2025 -
-
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedJan 9, 2025 -
Foundation Public
Forked from FormalizedFormalLogic/FoundationLean4 Logic Formalization
Lean Apache License 2.0 UpdatedJan 1, 2025 -
LeanBET Public
Forked from ATOMSLab/LeanBETFormally-verified BET Adsorption analysis in Lean
Lean UpdatedDec 9, 2024 -
BonnAnalysis Public
Forked from fpvandoorn/BonnAnalysisrepository for the collaborative formalization seminar in Analysis in Bonn
Lean Apache License 2.0 UpdatedNov 8, 2024