Jul 17 2013

Séminaire Marelle : Automatisation de preuves en Coq par traduction en logique du premier ordre

Sorry, this entry is only available in French.