Software Open Access

A Novice-Friendly Induction Tactic for Lean

Limperg, Jannis

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4327209", 
  "language": "eng", 
  "title": "A Novice-Friendly Induction Tactic for Lean", 
  "issued": {
    "date-parts": [
      [
        2020, 
        12, 
        16
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Limperg, Jannis"
    }
  ], 
  "note": "This project was funded by the NWO under the Vidi programme (project No. 016.Vidi.189.037, Lean Forward).", 
  "version": "1", 
  "type": "article", 
  "id": "4327209"
}
61
10
views
downloads
All versions This version
Views 6161
Downloads 1010
Data volume 43.7 MB43.7 MB
Unique views 5858
Unique downloads 99
More info on how stats are collected.
Indexed in
Publication date:
December 16, 2020
DOI:
10.5281/zenodo.4327209

Zenodo DOI Badge

DOI 

10.5281/zenodo.4327209

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4327209.svg)](https://doi.org/10.5281/zenodo.4327209)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4327209.svg
   :target: https://doi.org/10.5281/zenodo.4327209

HTML 

<a href="https://doi.org/10.5281/zenodo.4327209"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4327209.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4327209.svg

Target URL 

https://doi.org/10.5281/zenodo.4327209

Related identifiers:
Supplement to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4327209 Dec 16, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4327208. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export