Towards Verified Handwritten Calculational Proofs - (Short Paper).

Alexandra Mendes, Joo F. Ferreira

Browse the full ITP paper archive.