FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BDFNQSV
B
Baeta, Nuno
Rating of Geometric Automated Theorem Provers
Broda, Krysia
Towards intuitive reasoning in axiomatic geometry
D
Doré, Maximilian
Towards intuitive reasoning in axiomatic geometry
F
From, Andreas Halkjær
Students' Proof Assistant (SPA)
Natural Deduction Assistant (NaDeA)
N
Narboux, Julien
GeoCoq: formalized foundations of geometry
Neuper, Walther
Lucas Interpretation from Programmers’ Perspective
ThEdu'18 business meeting
Q
Quaresma, Pedro
Rating of Geometric Automated Theorem Provers
ThEdu'18 business meeting
S
Schlichtkrull, Anders
Students' Proof Assistant (SPA)
Natural Deduction Assistant (NaDeA)
V
Villadsen, Jørgen
Students' Proof Assistant (SPA)
Natural Deduction Assistant (NaDeA)
Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable