Zeste de Savoir
Suivre

đŸ’» C'est quoi un programme "prouvĂ©" mathĂ©matiquement ?

Apprenez-en plus avec le nouvel article de Aabu :
Écrire des programmes prouvĂ©s corrects avec Coq (🐓)
zestedesavoir.com/articles/375

· · Tusky · 0 · 6 · 4
Inscrivez-vous pour prendre part Ă  la conversation
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !

Tendance en ce moment

Ressources

DĂ©veloppeurs

Qu’est-ce que Mastodon ?

framapiaf.org

Davantage