Lean for the Curious Mathematician 2024

External homepage

general mathematics

Audience: General audience
Conference dates: 25-Mar-2024 to 29-Mar-2024
Organizer: Riccardo Brasca*
*contact for this listing
Upcoming talks
Past talks
Export series to
This website uses cookies to improve your experience.