lazi.1

lazi.1.0 désigne la mathématique la plus avancée de la famille lazi.1.* (voir la convention de nommage).
lazi.1 a pour but de fournir les outils classiques des mathématiques (quantificateurs, variables, fonctions, définitions etc). Voir aussi "Vue générale de la définition de lazi". Mis à part lazi.1.0, chaque mathématique de lazi.1.* est une extension de la précédente et ajoute une fonctionalité (comme les quantificateurs).