Antichesse (o ^ω^ o)
4520 shaares
3 résultats
taggé
preuve
Ohhhh la mini web série en trois épisodes de AstronoGeek ou il fait intervenir un tas d'excellents youtubers :
- Un Monde Riant
- La Tronche en Biais
- Le Defakator
- Et Hygiène Mentale
En en vidéo :
- La Chaîne Occulture
- Curiosity Catalyst et le secret des sourciers
- La Chaîne de Fred l'Esprit Sorcier
- Asclépios
J'ai adoré !
Un très bon article qui compare les systèmes de preuve formelle vs les TU et les langages fonctionnels et orientés objets.
Une copie numérique d'un papier original peut faire office de preuve depuis une ordonnance du 10 février 2016.