December 16, 2020 Software Open Access

Limperg, Jannis

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>This is the supplement for the following paper (to be published in January 2021):</p>\n\n<p>Jannis Limperg. 2021. A Novice-Friendly Induction Tactic for Lean. In Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP &rsquo;21), January 18&ndash;19, 2021, Virtual, Denmark. ACM, New York, NY, USA, 13 pages. https://doi.org/10.1145/3437992.3439928</p>\n\n<p>The supplement contains source code for a new induction tactic for Lean 3, described in the above paper. See the file README.md in the archive for details.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "Vrije Universiteit Amsterdam", 
      "@id": "https://orcid.org/0000-0002-8861-5231", 
      "@type": "Person", 
      "name": "Limperg, Jannis"
    }
  ], 
  "url": "https://zenodo.org/record/4327209", 
  "datePublished": "2020-12-16", 
  "version": "1", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4327209", 
  "@id": "https://doi.org/10.5281/zenodo.4327209", 
  "@type": "SoftwareSourceCode", 
  "name": "A Novice-Friendly Induction Tactic for Lean"
}