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
essai 2, th 3
Recherche d'une preuve
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
essai 2, th 3
Contexte
Voir Essai 2
Énoncé
Variables
Conditions
Conclusion
Étude
Recherche d'une preuve
Preuve
@todo