ANR FALSE

Home
Team
Vacancies
Publications
Research
Events

Events

7–11 September 2026 — Lean for the Curious Mathematician 2026, Cortona, Italy.
26 January 2026 — Kick-off meeting with talks by all team members and Wenrong Zou.

© 2026 ANR FALSE. Site made with Jekyll, based on a template by Allan Lab.

ANR FALSE is a project on formalisation of algebraic number theory and arithmetic geometry in Lean.

Contact:
filippo.nuccio@univ-st-etienne.fr
riccardo.brasca@imj-prg.fr