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.   
isabelle-dev mailing list

Reply via email to