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 ........
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev