Difference between revisions of "Études-Mathématique"
(→Pré - Lazi1) |
(→Jusqu'aux preuves de validité d'extensions) |
||
(5 intermediate revisions by the same user not shown) | |||
Line 50: | Line 50: | ||
|- | |- | ||
| [[/unionT et fonction de mapping]] || 2017/10/24 || oui || oui | | [[/unionT et fonction de mapping]] || 2017/10/24 || oui || oui | ||
+ | |- | ||
+ | | [[/Supprimer 0b et 1b]] || 2018/01/20 || oui || oui | ||
|} | |} | ||
Line 67: | Line 69: | ||
|- | |- | ||
| [[/La traduction]] || 2017/10/09 || non || oui | | [[/La traduction]] || 2017/10/09 || non || oui | ||
+ | |- | ||
+ | | [[/La vérification des types]] || 2018/01/20 || non || oui | ||
+ | |- | ||
+ | | [[/Extension compute]] || 2018/01/13 || non || oui | ||
+ | |- | ||
+ | | [[/crtruth dans les conditions des règles simples]] || 2018/01/20 || non || oui | ||
|} | |} |
Latest revision as of 14:37, 20 January 2018
Sujets
Pré - Lazi1
Jusqu'aux preuves de validité d'extensions
/Extension par règle simple | 2017/09/10 | oui | oui |
/Extension pour simplifier l'application des règles simples | 2017/09/10 | oui | oui |
/Comment gérer les déductions modifiant M ? | 2017/09/21 | oui | oui |
/Extension pour les fonctions | 2017/09/30 | non | oui |
/Mathématiques extensibles | 2017/09/30 | oui | oui |
/La traduction | 2017/10/09 | non | oui |
/La vérification des types | 2018/01/20 | non | oui |
/Extension compute | 2018/01/13 | non | oui |
/crtruth dans les conditions des règles simples | 2018/01/20 | non | oui |