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
Isabelle HOL user since 2008.
isabelle-dev mailing list