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é
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é
4 Retrouver la déduction d'ajout
6.0 Les mots clés
6.5 Définir les autres opérateurs
7.0 Validité
5 Implémentation extensions
6 Publier
7 Compilateur
Suivi des tâches
None