lazi.1.0
Lazi.1.0 désigne la mathématique définie en lazi.0.1 "lazi_1_0" (voir "Vue générale de la définition de lazi" ou les sources) et constituée des mêmes règles que lazi.0.0. À partir de lazi.1, les mathématiques sont en lazi définit par un type de déduction (la notion de preuve et de déduction est unifié en lazi).