Lean_seminar_2024

Created in September 23, 2024

2024

This term Dhyan Aranha is running a local Lean seminar.