- 1
- 1
Érik Martin-Dorel
2
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
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Communication dans un congrès
hal-04098856v2
|
|
Coq Community Survey 2022: Summary of ResultsDocument associé à des manifestations scientifiques hal-03914602v1 |