Assistant de Preuve
concept
logiciel permettant l'écriture et la vérification de preuves mathématiques
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Assistant_de_preuve
Lien Wikidata : https://www.wikidata.org/wiki/Q11387554
Propriétés
- p279_labels
- logiciel de mathématiques, logiciel scientifique