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 JournalEditorialAcademicpeer-review

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

Cite this