ORC2A: A Proof Assistant for Undergraduate Education. - Jianting Chen; Medha Gopalaswamy; Prabir Pradhan; Sooji Son; Peter-Michael Osera (SIGCSE, 2017)