geneau.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc geneau.cite -ob geneau.bib -c 'author : "geneau"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{geneau23arith,
topics = {team},
author = {Geneau de Lamarli{\`e}re, Paul and Melquiond, Guillaume and Faissole, Florian},
title = {Slimmer Formal Proofs for Mathematical Libraries},
hal = {https://inria.hal.science/hal-04165169},
booktitle = {Int. Conf. on Computer Arithmetic},
year = 2023
}