October 18, 2026
Lean 4.35 embarque quatre noyaux : le vérificateur de preuves désormais prouvé par lui-même
LeanVérification FormelleAudit de Code IACompilateurs
#compilateurs
1 articles · Tous les tags
📡 Events
1 articles · Tous les tags