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