Bonjour,  
Je dois travailler sur le logiciel Isabelle (systeme de preuves avec logique de hoare)
et je ne trouve nul part de tutorial correct. j'ai vraiment du mal a m'y mettre
 
Par hasard quelqun en a déjà fait ? et connait il un tuto efficace ?
 
merci ...
 
(ps : oui j'ai pas oubligé de googler )

elle est bonne au moins la Isabelle en question?

Jette un coup d'oeil
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/