D'ailleurs, par curiosité, pour les développeurs qui aimeraient étudier un peu les preuves formelles, as-tu des ressources sous la main à conseiller ?
Vu de loin, il y a plein de langages spécialisés dedans comme Coq, Agda et Idris. Je n'aurai pas encore le temps d'explorer ça cette année. Mais, pour le jour où je me pencherai dessus, je ne sais pas encore quoi regarder dans quel ordre.
Ensuite, une fois que je serai davantage familier avec les preuves formelles, pour voir ce qui a été fait pour Rust, je regarderai une partie des outils relayés par le
Rust Formal Methods Interest Group.