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