To All,

I am right now in the process of developing a kick-starter program that will 
centralize on using Isabelle HOL /2016 for the development of complex yet 
safety critical software for general consumption  ....  

Would anybody be interested in receiving more information on this new endeavor 

David Blubaugh
Addicted Isabelle HOL user ........  
isabelle-dev mailing list

Reply via email to