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.