Anne Baanen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Growing Mathlib: maintenance of a large scale mathematical library	2026-02-19	Paper
Lean formalization of completeness proof for coalition logic with common knowledge	2026-02-10	Paper
Use and abuse of instance parameters in the Lean mathematical library. Journal of Automated Reasoning	2025-02-07	Paper
Use and abuse of instance parameters in the Lean mathematical library	2024-07-15	Paper
scientific article; zbMATH DE number 7699422 (Why is no real title available?)	2023-06-20	Paper
A formalization of Dedekind domains and class groups of global fields Journal of Automated Reasoning	2022-12-12	Paper
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper) Automated Reasoning	2022-11-09	Paper
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2022-09-30	Paper
Combining predicate transformer semantics for effects: a case study in parsing regular languages (available as arXiv preprint)	2022-01-06	Paper
Combining predicate transformer semantics for effects: a case study in parsing regular languages	2022-01-06	Paper
A formalization of Dedekind domains and class groups of global fields (available as arXiv preprint)	2021-02-04	Paper

Research outcomes over time

This page was built for person: Anne Baanen