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
}