190 followers
RT @asfmendes: Happy to share that our paper "Towards Handwritten Calculational Proofs" (https://t.co/Sl1hlk9T1J) was one of the Springer N…
RT @asfmendes: Happy to share that our paper "Towards Handwritten Calculational Proofs" (https://t.co/Sl1hlk9T1J) was one of the Springer N…
RT @asfmendes: Happy to share that our paper "Towards Handwritten Calculational Proofs" (https://t.co/Sl1hlk9T1J) was one of the Springer N…
Happy to share that our paper "Towards Handwritten Calculational Proofs" (https://t.co/Sl1hlk9T1J) was one of the Springer Nature 2019 highlights! With a total of 8.8k downloads, it is now free to download until the end of March #2019HighlightsAuthor