Report copyright - Towards Veri ed Handwritten Calculational Proofs...Towards Veri ed Handwritten Calculational Proofs (Short Paper) Alexandra Mendes 1;2 and Jo~ao F. Ferreira 3 1 School of Computing,
Please pass captcha verification before submit form