Venue. JAR Journal of Automated Reasoning · Journal · Springer 2018 Guarded Cubical Type Theory birkedal-2018-guardedJAR · 2018 DOI 2016 A Heuristic Prover for Real Inequalities avigad-2016-aJAR · 2016 DOI · arXiv