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
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to