[isabelle-dev] Kick-starter using Isabelle Hol endeavor.....

[David Blubaugh]

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 ??? 

Thanks,
David Blubaugh
Addicted Isabelle HOL user ........  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20161220/ba15334d/attachment.html>