Quand tu parles des preuves ici, tu parles Coq, Why3 ou Spark ?
Pour le dernier, je peux te donner cet exemple que j'avais déjà mentionné il y a longtemps dans un journal et qui montre que ce n'est pas toujours si matheux.
Le github n'a pas bougé depuis un an maintenant mais ça reste du Spark2014 donc c'est toujours valide.
[^] # Re: Le cerveau n'est pas logique
Posté par Blackknight (site web personnel, Mastodon) . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 2.
Quand tu parles des preuves ici, tu parles Coq, Why3 ou Spark ?
Pour le dernier, je peux te donner cet exemple que j'avais déjà mentionné il y a longtemps dans un journal et qui montre que ce n'est pas toujours si matheux.
Le github n'a pas bougé depuis un an maintenant mais ça reste du Spark2014 donc c'est toujours valide.