Présentation
Le cœur de Lazi est une fondation mathématique constructive offrant de nombreux avantages à la fois en mathématique et en informatique. Lazi permettra à terme de :
- Remplacer la fondation mathématique actuellement utilisée (théorie des ensembles etc) par une fondation plus simple, extensible et résolvant les problèmes actuels des fondations.
- Fournir une base simple pour l'informatique théorique.
- Fournir un langage de développement dans le même esprit que Haskell mais avec de multiples évolutions.
Voir la partie "Organisation des documents" pour accéder au divers documents comme la définition de Lazi etc.
Un tutorial est disponible pour s'initier à la programmation en Lazi.