- 1
Érik Martin-Dorel
1
Documents
Identifiants chercheurs
- erik-martin-dorel
- 0000-0001-9716-9491
- IdRef : 164762299
Présentation
Brought to you by HAL.
Brought to you by HAL.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Primitive Floats in CoqITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
Communication dans un congrès
hal-02449191v1
|