Publications : Paul Geneau de Lamarlière
Back| [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 ] |
Back
This page was generated by bibtex2html.