11870 shaares
1 result
tagged
preuve
Un langage prouvé qui compile vers des langages plus courants ... Ca peut être intéressant