Towards verified handwritten calculational proofs (short paper)
From MaRDI portal
Publication:1791183
DOI10.1007/978-3-319-94821-8_25OpenAlexW2810454321MaRDI QIDQ1791183
João F. Ferreira, Alexandra Mendes
Publication date: 4 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_25
Uses Software
This page was built for publication: Towards verified handwritten calculational proofs (short paper)