Anne Baanen

According to our database, Anne Baanen authored at least 9 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Growing Mathlib: maintenance of a large scale mathematical library.

Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

Certifying Rings of Integers in Number Fields.

Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge.

Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.

Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Use and Abuse of Instance Parameters in the Lean Mathematical Library.

Anne Baanen

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

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

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Combining predicate transformer semantics for effects: a case study in parsing regular languages.

Anne Baanen, Wouter Swierstra

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper).

Anne Baanen

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020