7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 7 cited
A Mobile Application for Self-Guided Study of Formal Reasoning
David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya
In this work, we introduce AXolotl, a self-study aid designed to guide students through the basics of formal reasoning and term manipulation. Unlike most of the existing study aids…
cs.LO2015★ 1 cited
Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper]
David Cerna, Alexander Leitsch
The schematic CERES method [8] is a recently developed method of cut elimination for proof schemata, that is a sequence of proofs with a recursive construction. Proof schemata can…