Design of a proof assistant: Coq version 7
| Origin | Files produced by the author(s) |
|---|
Reports
(Research Report)
Year : 2000
Jean-Christophe Filliâtre : Connect in order to contact the contributor
https://inria.hal.science/hal-02890416
Submitted on : Monday, July 6, 2020-12:15:21 PM
Last modification on : Monday, February 12, 2024-9:52:06 AM
Long-term archiving on: Friday, September 25, 2020-1:50:24 PM
Dates and versions
Identifiers
- HAL Id : hal-02890416 , version 1
Cite
Jean-Christophe Filliâtre. Design of a proof assistant: Coq version 7. [Research Report] Université Paris-Sud. 2000. ⟨hal-02890416⟩
228
View
106
Download