Towards Verified Handwritten Calculational Proofs

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94821-8_25 ◽

2018 ◽

pp. 432-440

Author(s):

Alexandra Mendes ◽

João F. Ferreira

Download Full-text