A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper). - Anne Baanen (IJCAR (2), 2020)

Combining predicate transformer semantics for effects: a case study in parsing regular languages. - Anne Baanen; Wouter Swierstra (MSFP@ETAPS, 2020)

A formalization of Dedekind domains and class groups of global fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio (CoRR, 2021)

A Formalization of Dedekind Domains and Class Groups of Global Fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio Mortarino Majno di Capriglio (J. Autom. Reason., 2022)

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. - Anne Baanen; Alex J. Best; Nirvana Coppola; Sander R. Dahmen (CPP, 2023)

Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. - Kai Obendrauf; Anne Baanen; Patrick Koopmann; Vera Stebletsova (ITP, 2024)

Certifying Rings of Integers in Number Fields. - Anne Baanen; Alain Chavarri Villarello; Sander R. Dahmen (CPP, 2025)

Use and Abuse of Instance Parameters in the Lean Mathematical Library. - Anne Baanen (J. Autom. Reason., 2025)