Introduction to Milestones in Interactive Theorem Proving

Jeremy Avigad; Jasmin Christian Blanchette; Gerwin Klein; Lawrence Paulson; Andrei Popescu; Gregor Snelting

doi:10.1007/s10817-018-9465-5

Introduction to Milestones in Interactive Theorem Proving

Jeremy Avigad^*
, Jasmin Christian Blanchette
, Gerwin Klein
, Lawrence Paulson
, Andrei Popescu
, Gregor Snelting

^*Corresponding author for this work

Research output: Contribution to Journal › Editorial › Academic › peer-review

169 Downloads (Pure)

Original language	English
Pages (from-to)	1-8
Number of pages	8
Journal	Journal of Automated Reasoning
Volume	61
Early online date	11 May 2018
DOIs	https://doi.org/10.1007/s10817-018-9465-5
Publication status	Published - Jun 2018

Access to Document

10.1007/s10817-018-9465-5

Avigad2018_IntroductionToMilestonesInInteractiveTheoremProvingFinal published version, 264 KBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Persistent link

Cite this

@article{73ddc450101f45e0b9d65b04c83f86f6,

title = "Introduction to Milestones in Interactive Theorem Proving",

author = "Jeremy Avigad and Blanchette, \{Jasmin Christian\} and Gerwin Klein and Lawrence Paulson and Andrei Popescu and Gregor Snelting",

year = "2018",

month = jun,

doi = "10.1007/s10817-018-9465-5",

language = "English",

volume = "61",

pages = "1--8",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Introduction to Milestones in Interactive Theorem Proving

AU - Avigad, Jeremy

AU - Blanchette, Jasmin Christian

AU - Klein, Gerwin

AU - Paulson, Lawrence

AU - Popescu, Andrei

AU - Snelting, Gregor

PY - 2018/6

Y1 - 2018/6

UR - https://www.scopus.com/pages/publications/85046733855

UR - https://www.scopus.com/pages/publications/85046733855#tab=citedBy

U2 - 10.1007/s10817-018-9465-5

DO - 10.1007/s10817-018-9465-5

M3 - Editorial

AN - SCOPUS:85046733855

SN - 0168-7433

VL - 61

SP - 1

EP - 8

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

ER -

Introduction to Milestones in Interactive Theorem Proving

Access to Document

Persistent URL (handle)

Other files and links

Cite this