Avigad, J. orcid.org/0000-0003-1275-315X, Blanchette, J.C., Klein, G. et al. (3 more authors) (2018) Introduction to milestones in interactive theorem proving. Journal of Automated Reasoning, 61 (1-4). pp. 1-8. ISSN 0168-7433
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
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: |
|
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 |