[isabelle-dev] a question about regulations

José Manuel Rodriguez Caballero josephcmac at gmail.com
Thu Jun 28 07:55:35 CEST 2018

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20180628/a4704b4a/attachment.html>

More information about the isabelle-dev mailing list