Lazi

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 :

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.