Proceedings of the 9th ThEdu
9 views
Skip to first unread message
Joao Marcos
Oct 30, 2020, 7:53:01 AM10/30/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Este volume pode ser de interesse a alguns membros desta lista.
%%%
Proceedings of the 9th International Workshop on
Theorem Proving Components for Educational Software
http://eptcs.web.cse.unsw.edu.au/content.cgi?thedu2020
%%%
Teaching Interactive Proofs to Mathematicians
Mauricio Ayala-Rincón and Thaynara Arielly de Lima
Isabelle/HOL as a Meta-Language for Teaching Logic
Asta Halkjær From, Jørgen Villadsen and Patrick Blackburn
Formalizing IMO Problems and Solutions in Isabelle/HOL
Filip Marić and Sana Stojanović-Đurđević
Number Theory and Axiomatic Geometry in the Diproche System
Merlin Carl
Lucas-Interpretation on Isabelle's Functions
Walther Neuper
%%%
JM
%%%
Proceedings of the 9th International Workshop on
Theorem Proving Components for Educational Software
http://eptcs.web.cse.unsw.edu.au/content.cgi?thedu2020
%%%
Teaching Interactive Proofs to Mathematicians
Mauricio Ayala-Rincón and Thaynara Arielly de Lima
Isabelle/HOL as a Meta-Language for Teaching Logic
Asta Halkjær From, Jørgen Villadsen and Patrick Blackburn
Formalizing IMO Problems and Solutions in Isabelle/HOL
Filip Marić and Sana Stojanović-Đurđević
Number Theory and Axiomatic Geometry in the Diproche System
Merlin Carl
Lucas-Interpretation on Isabelle's Functions
Walther Neuper
%%%
JM
Reply all
Reply to author
Forward
0 new messages