[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?
José M.l Rodriguez Caballero
Université du Québec à Montréal
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev