Tableaux Un prouveur automatique et semi-automatique de Tableaux
Télécharger maintenant

Tableaux Classement & Résumé

Tableaux Mots clés

syntaxe

Tableaux La description

TableauxProver est conçu pour fonctionner comme un prouveur automatique et comme un sketchpad. Il est spécialement construit de manière à ce qu'il ne permet pas à l'utilisateur de commettre des erreurs de règles. Sa syntaxe utilise la spécification Prenex et l'utilisateur peut réorganiser les formules de manière pratique de simplifier le processus de lecture de la preuve.

Tableaux Logiciels associés