ThEdu@IJCAR

202020202020

Keyphrases

Publications

2020

Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR (2020)
Walther Neuper
Lucas-Interpretation on Isabelle's Functions. ThEdu@IJCAR (2020)
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
Teaching Interactive Proofs to Mathematicians. ThEdu@IJCAR (2020)
Merlin Carl
Number Theory and Axiomatic Geometry in the Diproche System. ThEdu@IJCAR (2020)
Filip Maric, Sana Stojanovic-Durdevic
Formalizing IMO Problems and Solutions in Isabelle/HOL. ThEdu@IJCAR (2020)

volume 328, 2020

Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020. ThEdu@IJCAR 328 (2020)