search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

ThEdu@CADE

Keyphrases

Publications

volume 313, 2020

Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. ThEdu@CADE 313 (2020)

2019

volume 267, 2018

Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. ThEdu@CADE 267 (2018)

2017

Sebastian Böhne, Christoph Kreitz
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. ThEdu@CADE (2017)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction and the Isabelle Proof Assistant. ThEdu@CADE (2017)
Ludovic Font, Philippe R. Richard, Michel Gagnon
Improving QED-Tutrix by Automating the Generation of Proofs. ThEdu@CADE (2017)
Arno Ehle, Norbert Hundeshagen, Martin Lange
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. ThEdu@CADE (2017)
Mario Frank, Christoph Kreitz
A Theorem Prover for Scientific and Educational Purposes. ThEdu@CADE (2017)
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ThEdu@CADE (2017)
Alan Krempler, Walther Neuper
Prototyping "Systems that Explain Themselves" for Education. ThEdu@CADE (2017)
Graham Leach-Krouse
Carnap: An Open Framework for Formal Reasoning in the Browser. ThEdu@CADE (2017)
Pedro Quaresma, Vanda Santos, Nuno Baeta
Exchange of Geometric Information Between Applications. ThEdu@CADE (2017)