Open mmontin opened 1 year ago
Nous devons traduire les exemples en Coq en s'afranchissant des types dépendant et en les mettant dans Prop.
Nous devons traduire les exemples en Coq en s'afranchissant des types dépendant et en les mettant dans Prop.