Design of a proof assistant: Coq version 7 - Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes Access content directly
Reports (Research Report) Year : 2000

Dates and versions

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

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⟩
173 View
85 Download

Share

Gmail Facebook X LinkedIn More