FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
Shortcuts: BDJKQSTVZ
B
Baeta, Nuno
Rule Based Geometry Automated Theorem Provers
D
Dana-Picard, Noah
Invited Talk: Computer-assisted proofs and automated methods in Mathematics Education
J
Jacobsen, Frederik Krogsdal
On Exams with the Isabelle Proof Assistant
K
Korkut, Joomy
A Proof Tree Builder for Sequent Calculus and Hoare Logic
Q
Quaresma, Pedro
Rule Based Geometry Automated Theorem Provers
A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
S
Santos, Vanda
A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
T
Teixeira, Pedro
Rule Based Geometry Automated Theorem Provers
Teles, Joana
A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
V
Villadsen, Jørgen
On Exams with the Isabelle Proof Assistant
Z
Zohar, Yoni
Invited Talk: Satisfiability Modulo Theories in an Undergraduate Class