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

Pour améliorer LaTeX

Question de style­Vous utilisez LaTeX et vous n’êtes pas complètement satisfait de l’affichage de vos références bibliographiques ? Ce billet/tutoriel du blog Zotero vous donne les clés pour déchiffrer ce fameux fichier “style” et le modifier à votre guise.Pourquoi et...

Python pour les SHS

Python fait dans le socialPourquoi et comment utiliser le langage Python en sciences humaines et sociales ? Le sociologue Émilien Schultz (qu’on avait d’ailleurs interviewé au sujet des postdocs) vous l’explique dans ce tutoriel organisé par Mate-SHS avec des exemples...

Rédigez synchro avec l’outil Chrono

Clavarder pour la bonne cause Afin de bien gérer son temps en rédaction (pourquoi ne pas relire notre numéro sur le sujet ?) ou même durant un travail bibliographique, l’association Thèsez-vous a développé l’outil Chrono. Pas juste une fenêtre de plus dans votre...