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 selling .thy files
to clients, which conditions apply?

Sincerely yours,
José M.l Rodriguez Caballero
Université du Québec à Montréal
isabelle-dev mailing list

Reply via email to