Introduction to Milestones in Interactive Theorem Proving

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

Research output: Contribution to JournalEditorialAcademicpeer-review

Original languageEnglish
Pages (from-to)1-8
Number of pages8
JournalJournal of Automated Reasoning
Volume61
Issue number1-4
Early online date11 May 2018
DOIs
Publication statusPublished - Jun 2018

Cite this

Avigad, Jeremy ; Blanchette, Jasmin Christian ; Klein, Gerwin ; Paulson, Lawrence ; Popescu, Andrei ; Snelting, Gregor. / Introduction to Milestones in Interactive Theorem Proving. In: Journal of Automated Reasoning. 2018 ; Vol. 61, No. 1-4. pp. 1-8.
@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 = "6",
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",
number = "1-4",

}

Avigad, J, Blanchette, JC, Klein, G, Paulson, L, Popescu, A & Snelting, G 2018, 'Introduction to Milestones in Interactive Theorem Proving' Journal of Automated Reasoning, vol. 61, no. 1-4, pp. 1-8. https://doi.org/10.1007/s10817-018-9465-5

Introduction to Milestones in Interactive Theorem Proving. / Avigad, Jeremy; Blanchette, Jasmin Christian; Klein, Gerwin; Paulson, Lawrence; Popescu, Andrei; Snelting, Gregor.

In: Journal of Automated Reasoning, Vol. 61, No. 1-4, 06.2018, p. 1-8.

Research output: Contribution to JournalEditorialAcademicpeer-review

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

VL - 61

SP - 1

EP - 8

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1-4

ER -