Carte Super rare

Lean (assistant de preuve)

assistant de preuve

Valeur

200 W

Attaque

362

Défense

290

Joueurs

0

4 174 vues Wikipédia ces 30 derniers jours

Lean est un assistant de preuve et un langage de programmation. Il repose sur le principe de calcul des constructions avec types inductifs (en). Lean possède un certain nombre de fonctionnalités notables qui le distinguent des autres logiciels d'assistance à la preuve.