Lazi
Accueil
Contact
Lexique
Organisation
Présentation
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
4 Retrouver la déduction d'ajout
6.0 Les mots clés
6.5 Définir les autres opérateurs
7.0 Validité
Bestiaire
Essais
Essais 1
6 Les mots clés
6.0 imply
Finitude imply tr1
Quelle récurrence
5 Implémentation extensions
6 Publier
7 Compilateur
Réalisations
Suivi des tâches