Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9--12, 2018. Proceedings

DOI10.1007/978-3-319-94821-8zbMath1391.68001OpenAlexW2543198443MaRDI QIDQ1651218

No author found.

Publication date: 11 July 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

The \textsc{MetaCoq} project

This page was built for publication: Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9--12, 2018. Proceedings