Design of a proof assistant: Coq version 7

Reports (Research Report) Year : 2000

(1, 2)

1
2

Jean-Christophe Filliâtre

Laboratoire de Recherche en Informatique

Logic in Computer Science [cs.LO] Computation and Language [cs.CL] Mathematical Software [cs.MS]

Fichier principal

coqv7.pdf (164.34 Ko)

Origin : Files produced by the author(s)

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

hal-02890416 , version 1 (06-07-2020)

Jean-Christophe Filliâtre. Design of a proof assistant: Coq version 7. [Research Report] Université Paris-Sud. 2000. ⟨hal-02890416⟩