26. September 2026
Wenrong Zou and Yacine Benmeuraiem have started their PhDs with the FALSE team. Welcome, Wenrong and Yacine!
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!