Proceedings

EPTCS  354,  Proceedings 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu'21)

@Proceedings{ThEdu2021,
  title     = {Proceedings 10th International Workshop on Theorem Proving Components for Educational Software},
  year      = {2021},
  editor    = {Pedro Quaresma, Walther Neuper and João Marcos},
  volume    = {354},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  publisher = {Open Publishing Association},
  month     = {oct},
  doi       = {10.4204/EPTCS.354}
}