Rocq
oeuvre
assistant de preuve
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Rocq_(logiciel)
Lien Wikidata : https://www.wikidata.org/wiki/Q1131652
Propriétés
- date_creation
- +1984-00-0
- logo
- Coq logo.png
- pays
- France
oeuvre
assistant de preuve
Lien Wikipedia : https://fr.wikipedia.org/wiki/Rocq_(logiciel)
Lien Wikidata : https://www.wikidata.org/wiki/Q1131652