Jérôme Créci. Gb: une procédure de décision pour le système coq (2004)

by Loïc Pottier
Venue:Journées Francaises des Langages Applicatifs, Sainte-Marie-de-Ré