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