ProofScript: Proof Scripting for the Masses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steven Obua, Phil Scott, Jacques D. Fleuriot. ProofScript: Proof Scripting for the Masses. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 333-348, 2016. [doi]

This author has not been identified. Look up 'Steven Obua' in GoogleThis author has not been identified. Look up 'Phil Scott' in GoogleThis author has not been identified. Look up 'Jacques D. Fleuriot' in Google

runs on WebDSL