[isabelle-dev] Kickstarter Campaign based on Isabelle HOL Technologies
davidblubaugh2000 at yahoo.com
Thu Jul 26 09:13:22 CEST 2018
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 ???
Isabelle HOL user since 2008.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev