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
,
José M.
2018-06-28 12:06 GMT+02:00 Makarius :
> On 28/06/18 07:55, José Manuel Rodriguez Caballero wrote:
> >
> > Motivated by my exchange of experiences with professionals using
> > proof-assistants like Coq for commercial purposes, I would like to ask
> > the f
Dear Sir or Madam,
Motivated by my exchange of experiences with professionals using
proof-assistants like Coq for commercial purposes, I would like to ask the
following question is: which are the regulations of Isabelle for commercial
use? For example, if a software company is interested in