Antichesse (o ^ω^ o)
4520 shaares
1 résultat
taggé
prouveur
Un très bon article qui compare les systèmes de preuve formelle vs les TU et les langages fonctionnels et orientés objets.
