Comment définir les extensions nécessaire ?
Description
On a vu les extensions nécessaires. Il s'agit ici de définir plus précisément ces extensions :
- type d'extension (événement, déduction etc)
- Pour les règles de déduction:
- arguments
- domaine
- objet
- preuve de validité
Sous-tâches
- extension pour ajouter les mots clés (forAll, imply etc)| en cours | 2018
- notation pour les fonctions | à faire | 2018
- notation pour $Let | à faire | 2018
- notation pour les mots | à faire | 2018
- extension "proveType" | à faire | 2018