Anne Baanen

15 papers B 5C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Certifying Rings of Integers in Number Fields.
CPP
Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen
2025 C conf
Growing Mathlib: maintenance of a large scale mathematical library.
CICM
Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa
2025 J jnl
Growing Mathlib: maintenance of a large scale mathematical library.
CoRR
Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa
2025 J jnl
Use and Abuse of Instance Parameters in the Lean Mathematical Library.
J. Autom. Reason.
Anne Baanen
2024 J jnl
Certifying rings of integers in number fields.
CoRR
Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen
2024 B conf
Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge.
ITP
Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova
2023 B conf
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
CPP
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
2022 J jnl
A Formalization of Dedekind Domains and Class Groups of Global Fields.
J. Autom. Reason.
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
2022 J jnl
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
CoRR
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
2022 B conf
Use and Abuse of Instance Parameters in the Lean Mathematical Library.
ITP
Anne Baanen
2022 J jnl
Use and abuse of instance parameters in the Lean mathematical library.
CoRR
Anne Baanen
2021 B conf
A Formalization of Dedekind Domains and Class Groups of Global Fields.
ITP
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
2021 J jnl
A formalization of Dedekind domains and class groups of global fields.
CoRR
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio
2020 — conf
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper).
IJCAR (2)
Anne Baanen
2020 — conf
Combining predicate transformer semantics for effects: a case study in parsing regular languages.
MSFP@ETAPS
Anne Baanen, Wouter Swierstra