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

117 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 - http://www.scopus.com/inward/record.url?scp=85046733855&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85046733855&partnerID=8YFLogxK

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