Introduction to milestones in interactive theorem proving

Metadata

Item Type:	Article
Authors/Creators:	Avigad, J. https://orcid.org/0000-0003-1275-315X Blanchette, J.C. Klein, G. Paulson, L. https://orcid.org/0000-0003-0288-4279 Popescu, A. https://orcid.org/0000-0001-8747-0619 Snelting, G.
Copyright, Publisher and Additional Information:	© 2018 Springer Science+Business Media B.V., part of Springer Nature. This is an author-produced version of a paper subsequently published in Journal of Automated Reasoning. Uploaded in accordance with the publisher's self-archiving policy.
Dates:	Accepted: 27 April 2018 Published (online): 11 May 2018 Published: June 2018
Institution:	The University of Sheffield
Academic Units:	The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User:	Symplectic Sheffield
Date Deposited:	17 Mar 2023 12:08
Last Modified:	17 Mar 2023 12:08
Status:	Published
Publisher:	Springer Science and Business Media LLC
Refereed:	Yes
Identification Number:	10.1007/s10817-018-9465-5
Open Archives Initiative ID (OAI ID):	oai:eprints.whiterose.ac.uk:197461

CORE (COnnecting REpositories)