Publications

Towards Verified Handwritten Calculational Proofs: (Short Paper)

AuthID
P-00P-1XP

Author(s)

Mendes, A

Ferreira, JF

Editor(s)

Avigad J.Mahboubi A.

Document Type

Proceedings Paper

Year published

2018

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 10895 LNCS, Pages: 432-440

Conference

9Th International Conference on Interactive Theorem Proving, Itp 2018 Held as Part of the Federated Logic Conference, Floc 2018, Date: 9 July 2018 through 12 July 2018

Indexing