25. March 2026
Register for Lean for the Curious Mathematician 2026!
1. March 2026
Wenrong Zou will join the team as a PhD student starting in October 2026.
26. January 2026
Kick-off meeting with talks by all team members and Wenrong Zou.
1. October 2025
The ANR project FALSE officially starts!