Mathématiques inversées de Coq
| Origin | Files produced by the author(s) |
|---|
Master Thesis
Year : 2021
Yoan Géran : Connect in order to contact the contributor
https://inria.hal.science/hal-04319183
Submitted on : Saturday, December 2, 2023-12:01:45 PM
Last modification on : Thursday, November 28, 2024-2:52:02 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-04319183 , version 1
Cite
Yoan Géran. Mathématiques inversées de Coq. Logique en informatique [cs.LO]. 2021. ⟨hal-04319183⟩
Collections
66
View
41
Download