According to OSI [1], it is not open source if it cannot be used freely in comme... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

Soft on April 15, 2019 | parent | context | favorite | on: Vampire: First-Order Theorem Proving [pdf]

According to OSI [1], it is not open source if it cannot be used freely in commercial context.

[1]: https://opensource.org/faq#commercial

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact