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

[David Blubaugh]

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.   
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20180726/a7ffd87d/attachment.html>