[isabelle-dev] Kickstarter Campaign based on Isabelle HOL Technologies

David Blubaugh davidblubaugh2000 at yahoo.com
Thu Jul 26 09:13:22 CEST 2018

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

David Blubaugh
Isabelle HOL user since 2008.   
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20180726/a7ffd87d/attachment.html>

More information about the isabelle-dev mailing list