Rapport (Rapport De Recherche) Année : 2000

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-02890416 , version 1

Citer

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

Partager

  • More