Lazi

Lazi.0

Lazi.0 (voir sa définition) est la définition même de la fondation mathématique Lazi. Le reste des réalisations mathématiques sont des extensions.

Concepts de base

Comment la fondation mathématique Lazi est définie.