Proof Assistants : back on why and how ?
1 : LRI
Laboratoire de Recherche en Inforatique (LRI), LRI, Université Paris Saclay
We come back on early choices made in the design of the Coq proof assistant, in term of language and architecture and in comparison with other assistants.
| Type : | : | typdoc_39507 |
| Langue du texte intégral | : | anglais |
| Date de production, écriture | : | 22/12/2024 |
| Thématiques | : | 1/2 journée "Assistants de preuve" |
| PDF version | : |  PDF version |
- Poster
