Riccardo Brasca
Open Menu
Close Menu
Home
Publications
Presentations
Contact
Teaching
ESC
All Results
Searching...
No results found
Clear search
↑↓
Navigate
↵
Select
Powered by Hugo Blox
New preprint out!
Mar 17, 2026
Synthetic Differential Geometry in Lean
, with
Gabriella Clemente
.
← All news