The Coq proof assistant user's guide : version 5.6
Abstract
pas de resume
Rapport De Recherche Inria : Connect in order to contact the contributor
https://hal.inria.fr/inria-00070034
Submitted on : Friday, May 19, 2006-6:52:26 PM
Last modification on : Tuesday, February 7, 2023-3:38:18 AM
Long-term archiving on: Tuesday, February 22, 2011-11:06:57 AM