Rare
Lean (assistant de preuve)
assistant de preuve
Lean (assistant de preuve)
Lean est un assistant de preuve et un langage de programmation. Il repose sur le principe de calcul des constructions avec types inductifs (en).
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement