Lean for the Curious Mathematician 2024
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