Retour
Lire l’article sur Wikipédia
Épique1/1Libre
Notion · 2013
Lean (assistant de preuve)
Aura
111,1 k
N° 141 157
Touche la carte pour la faire tourner.
Épique
Lean (assistant de preuve)
Assistant de preuve
1/1Un exemplaire au monde.
- Aura (depuis 2015)
- 111 083
- Rang de la carte
- N° 141 157
- Type
- Notion
- Création
- 2013
Extrait.
Lean est un assistant de preuve et un langage de programmation. Il repose sur le principe de calcul des constructions avec types inductifs (en).
Crédits
Illustration
- Auteur
- Lean
- Licence
- Public domain
- Source
- Lean logo2.svg · Wikimedia Commons
- Modifications
- Recadrage et effets visuels Devon (cadre, reflets holographiques).
Texte
Résumé et adapté de l’article « Lean (assistant de preuve) », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.