Anne Baanen

According to our database, Anne Baanen authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

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

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

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

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