Documenter les extensions mathématiques
Description
Documenter les extensions lazi déjà réalisées dans la partie "réalisation". Voir les docs existantes de l'ancien wiki.
Sous-tâches
- 01-events.ext | à faire | 2020.
- 02-story.ext-ev | à faire | 2020.
- 03-addSimpleRule.ext-ev | à faire | 2020.
- 04-goalSimpleRule.ext | à faire | 2020.
- 05-equality.deduc | à faire | 2020.
- 06-function.ext-nota | à faire | 2020.
- 07-definition.ext-ev | à faire | 2020.
- 08-wordRepr.ext-nota | à faire | 2020.