To All, I am currently a developer and user of Isabelle HOL technologies and I am currently in the process of developing a Kickstarter campaign based on the use of Isabelle HOL being used in the creation of a specific software application for use within mobile devices.
Would anyone be interested in knowing more on this potential Kickstarter campaign ??? Thanks, David Blubaugh Isabelle HOL user since 2008.
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev