Lazi
Accueil
Contact
Lexique
Organisation
Présentation
Recherche
0 Logiciels
1 lazi.0 et lazi.1.0
2 Vérification des types
6 Publier
7 Compilateur
Interactions entre les formules lazi et les instructions
Langage de programmation et mathématique
Extension pour des variables globales
Traduction des formules à variable globale
Variables globales, quelles règles de déduction
Extension assignation variable locale
Extension fonctions
Extension quantificateur universel
Extension sous-fonction
Variables globales, validité
Type états superposés
Réalisations
Suivi des tâches
Extension sous-fonction
Objet
Extension du type des formules
Nouvelles règles de déduction
Traduction des preuves
Validité de l'extension
@extension