Lazi
- Accueil
- Contact
- Lexique
- Organisation
- Présentation
- Réalisations
- Recherche
- 0 Logiciels
- 1 lazi.0 et lazi.1.0
- 2 Vérification des types
- 1 Objectifs
- 2 Structure
- 3 Extensions nécessaires
- 4 Comment définir les extensions
- 1 Par mot clé et déduction d'ajout et d'application
- 1.0 Communs mots clés
- 3 Traduction sans hypothèse
- Règle du tiers exclu
- Théorème toute vérité lazi.0.0 se calcule en une égalité
- Rebut
- Recherche d'une preuve
- essai 2, th 1
- essai 2, th 2
- Recherche d'une preuve
- Étude démonstration cas 2 et 4
- Étude des contraintes sur =c
- Toute vérité se calcule en une égalité
- Recherche d'une preuve
- essai 2, th 3
- Théorème =c est une relation d'équivalence
- Théorème d'égalité des arguments pour un calcul terminé
- Théorème du calcul semi-terminé
- Théorème toute vérité lazi.0.0 se calcule en une égalité
- Règle du tiers exclu
- 4 Retrouver la déduction d'ajout
- 6.0 Les mots clés
- 6.5 Définir les autres opérateurs
- 7.0 Validité
- 1 Par mot clé et déduction d'ajout et d'application
- 5 Implémentation extensions
- 6 Publier
- 7 Compilateur
- Suivi des tâches