Accéder directement au contenu

Érik Martin-Dorel

1
Documents
Identifiants chercheurs

Présentation

Brought to you by HAL.
Brought to you by HAL.

Publications

855707
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⟩
Communication dans un congrès hal-02449191v1