Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

1 Résultat
authFullName_s : Guillaume Bertholon
Image document

Primitive Floats in Coq

Guillaume Bertholon , Érik Martin-Dorel , Pierre Roux
ITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
Conference papers hal-02449191v1