Le logiciel Why3 trouve vos erreurs

— Le 30 avril 2021
Vérifier vos programmes… grâce à un programme !  

Si vous codez, vous savez qu’il existe des tonnes de logiciels de vérification. Why3 est l’un d’entre eux, sauf qu’il a été développé par des chercheurs français ! Il vient de fêter ses 10 ans et sa particularité est d’allier un assistant automatique avec un second plus manuel pour les parties de code les plus complexes. Vous pouvez même l’essayer dans votre navigateur.

À lire aussi dans TheMetaNews

Des formations au catalogue

Depuis quand n'êtes-vous pas revenus sur les bancs de l'école ? Pour celles et ceux que cela intéresse, voici la liste de toutes les formations proposées par le réseau des Urfist (Unités régionales de formation à l'information scientifique et technique). À distance ou...

Mises en forme parfaites

Écrire des manuscrits bien formatés, sans apprendre LaTeX, le fameux langage informatique pour la composition de documents ? C’est aujourd’hui possible grâce à Typst, une application en ligne qui génère pour vous le code correspondant aux paramètres de mise en page...

Google Scholar… en mieux

Vous commencez une revue de littérature sur un sujet donné ? ResearchRabbit pourra être une bonne alternative à Google Scholar. Il vous suffit d’entrer un premier article et vous pourrez explorer le domaine. Basé sur les liens de citation entre publications, cet outil...