Accueil
Au hasard
À proximité
Créer un compte
Se connecter
Configuration
Faites un don dès maintenant
Si Wikipédia vous est utile, pensez à donner aujourd'hui.
À propos de Wikipédia
Avertissements
Rechercher
Menu utilisateur
Créer un compte
Se connecter
Catégorie
:
Assistant de preuve
Langue
Suivre
Modifier
Article principal
:
assistant de preuve
.
Arborescence des logiciels
↑
·
↓
Catégorie mère
Portail
Projet
Café
Pages dans la catégorie « Assistant de preuve »
Cette catégorie contient les 17 pages suivantes.
Outils :
Arborescence
Graphique
Recherche interne
PetScan
Suivi
Assistant de preuve
A
Automath
C
Calcul des constructions
CompCert
D
Gilles Dowek
E
EQP
H
Prix Herbrand
I
Isabelle (logiciel)
L
Lean (assistant de preuve)
LEGO (logiciel)
M
Metamath
Mizar (système)
P
PhoX (logiciel)
Prototype Verification System
R
Rocq (logiciel)
W
Benjamin Werner
Wolfram Language
