Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Interest
Topics
Details

Details

  • Name

    Alexandra Sofia Mendes
  • Cluster

    Computer Science
  • Role

    External Research Collaborator
  • Since

    15th February 2018
Publications

2018

Towards Verified Handwritten Calculational Proofs - (Short Paper)

Authors
Mendes, A; Ferreira, JF;

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

Abstract