1 lazi.0 et lazi.1.0
Cette partie a été crée avant la roadmap, il n'y a ici que les modifications ultérieures.
Description
Il s'agit de définir Lazi.0 et lazi.1.0
Sous-tâches
- Simplifier la récurrence ? | fait | mars 2018
- Étude de validité, comparaison avec les mathématiques classiques | fait | avril 2019