1 résultat

Visualiser le document
Monographie
Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant
The MIT Press
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)