  This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted
on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil.
Representing the eighth installment of the ThEdu series, ThEdu'19 was a vibrant
workshop, with an invited talk by Sarah Winkler, four contributions, and the
first edition of a Geometry Automated Provers Competition. After the workshop
an open call for papers was issued and attracted seven submissions, six of
which have been accepted by the reviewers, and collected in the present
post-proceedings volume.
  The ThEdu series pursues the smooth transition from an intuitive way of doing
mathematics at secondary school to a more formal approach to the subject in
STEM education, while favoring software support for this transition by
exploiting the power of theorem-proving technologies.
  The volume editors hope that this collection of papers will further promote
the development of theorem-proving-based software, and that it will collaborate
on improving mutual understanding between computer mathematicians and
stakeholders in education.
