{
  "key": "katlang-patents-exception-mit",
  "short_name": "KatLang Patents Exception to MIT",
  "name": "KatLang Patents Exception to MIT",
  "category": "Patent License",
  "owner": "KatLang",
  "homepage_url": "https://github.com/katlangorg/katlangnet/blob/main/PATENTS",
  "is_exception": true,
  "spdx_license_key": "LicenseRef-scancode-katlang-patents-exception-mit",
  "text": "PATENTS\n\nLicensor: Logics Research Centre SIA\n\nThis software is released under the MIT License.\nIn addition, the Licensor provides the following patent grant.\n\n------------------------------------------------------------\nSCOPE\n------------------------------------------------------------\n\nThis patent grant applies solely to the KatLang project\n(the \u201cSoftware\u201d) as distributed by the Licensor and to\nderivative works based on that Software.\n\nNo patent rights are granted for uses of the Licensor\u2019s\npatents outside the scope of the Software.\n\nIf you are interested in using the Licensor\u2019s patents\noutside the scope of this Software, please contact\nLogics Research Centre SIA to discuss alternative\nlicensing arrangements.\n\n------------------------------------------------------------\nINDEPENDENT IMPLEMENTATIONS\n------------------------------------------------------------\n\nThe patent grant below also extends to any independent\nreimplementation of the KatLang language, provided that the\nimplementation faithfully implements the KatLang language\nspecification as defined by the authoritative KatLang.lean\nspecification file distributed with this project.\n\nThis means that if you are building a KatLang interpreter,\ncompiler, or runtime in any programming language \u2014 without\nusing any code from this project \u2014 you are still covered by\nthis patent grant, as long as your implementation conforms\nto the KatLang specification.\n\nThis extension does not cover use of the patented techniques\nin projects unrelated to the KatLang language.\n\nIf you are unsure whether your project qualifies, you are\nwelcome to reach out to Logics Research Centre SIA.\n\n------------------------------------------------------------\nPATENT GRANT\n------------------------------------------------------------\n\nThis patent grant is provided solely in connection with the\nSoftware as licensed under the MIT License and applies only\nto recipients who comply with the terms of that license.\n\nSubject to the terms of the MIT License, the Licensor hereby grants\nto any person or entity obtaining a copy of the Software a perpetual,\nworldwide, non-exclusive, no-charge, royalty-free, irrevocable\npatent license to make, have made, use, offer to sell, sell, import,\nand otherwise transfer the Software, where such license applies only\nto those patent claims owned or controlled by the Licensor that are\nnecessarily infringed by the use of the Software as provided by the\nLicensor.\n\n------------------------------------------------------------\nPATENTS COVERED BY THIS GRANT\n------------------------------------------------------------\n\nThe following patents are owned or controlled by the Licensor and\nmay be practiced by implementations of this software:\n\n- US Patent No. 9,361,071  \n  \u201cImplicit Parameters and Implicit Arguments in Programming Languages\u201d\n\n- US Patent No. 9,417,850  \n  \u201cGrace Operator for Changing Order and Scope of Implicit Parameters\u201d\n\n- US Patent No. 11,947,932  \n  \u201cExtension Property Calls\u201d\n\n------------------------------------------------------------\nNO ADDITIONAL CONDITIONS\n------------------------------------------------------------\n\nThis patent grant does not impose any obligation to agree with or\nendorse any belief, statement, or dedication expressed elsewhere\nin this project.\n\n------------------------------------------------------------\nEND OF PATENTS\n------------------------------------------------------------"
}