Voila un site intéressant sur la preuve formel pour ceux qui voudrait tester ou en savoir un peu plus:
http://coq.inria.fr/coq-fra.html
La recherche a retourné 1 résultat
Aller sur la recherche avancée
- 17/12/2008 - 23:26:58
- Forum : Mathématiques
- Sujet : [News] Vérifier sans faille les démonstrations mathématiques par ordinateur
- Réponses : 60
- Vues : 97572