Études-Mathématique
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 | 13/01/2018 | non | oui |