Wiki Agenda Contact English version

Publications : Paul Geneau de Lamarlière

Retour
[1] Paul Geneau de Lamarlière, Guillaume Melquiond, and Florian Faissole. Slimmer formal proofs for mathematical libraries. In Int. Conf. on Computer Arithmetic, 2023. [ bib | full text on HAL ]

Retour
This page was generated by bibtex2html.