Lazi
Accueil
Contact
Lexique
argument minimal ou maximal d'une formule
arguments d'une formule
Calcul ▶
chemin mathématique (absolu ou relatif)
chemin mathématique de calcul
conditionnel
ctruth, vérité condionnelle, $CT[ (...) ⊢ x ]
décomposition d'une formule
extensible
fonction constante par calcul
fonction minimale ou maximale d'une formule
fonction non constante par calcul
fonctions d'une formule
Lazi ▶
logique de niveau 0
logique de niveau 1
mathématique extension de M
mathématique (lazi,pré-,minimale)
n-formules
notation étoile égalité
preuve normalisée
profondeur d'une formule
SFP ▶
sous-formule (stricte)
type étendu par union
utilisé dans le calcul
Organisation
Présentation
Réalisations
Recherche
Suivi des tâches
utilisé dans le calcul
Synonyme, voir "le calcul de x passe par y"