Dear David Blubaugh,
It is interesting that, some days ago, I had a similar idea with respect
to Kickstarter and Isabelle, but by motivation comes from medicine. My
project was to write a paper and some thy files in order to decide if a
given sample of adenosine triphosphate is generated by
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
