[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GeOCaml] Demonstration vs aide à la preuve...
From: |
Arnaud Doniec |
Subject: |
[GeOCaml] Demonstration vs aide à la preuve... |
Date: |
Mon, 26 Apr 2004 13:55:13 +0200 |
rebonjour à tous,
Je me lancer à l'eau avec une première question pour Julien...
Quand tu parles de démonstration automatique, tu parles d'une moulinette
qui prend en entrée un problème donné et te ressort une
démonstration 'toute faite' ? ou alors d'une aide (interactive) à la
preuve ?
- [GeOCaml] Demonstration vs aide à la preuve...,
Arnaud Doniec <=