| Accueil | Manuel de l'utilisateur | Caractéristiques | Téléchargements | Résultats Expérimentaux | Retour sur mes Recherches |
Avant qu'il ne soit trop tard, sachez qu'il est toujours possible de faire un retour en arrière et de revenir sur ma recherche à tout moment.
Je vous présente ici mon prouveur appelé qbfl, ses caractéristiques, ses performances - pour l'instant assez modestes puisqu'il ne s'agit que de sa seconde version - et vous propose sa version exécutable (ainsi que l'ancienne), avant que je ne décide d'en révéler le code source.
Pour toute suggestion concernant ce site et mon prouveur, ou découverte d'un éventuel Bug, je vous prie de bien vouloir m'envoyer un mail.