The Coq proof assistant user's guide : version 5.6
Abstract
pas de resume
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/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