Larry Joshua Crotts, Stephen Tate. Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems. In Proceedings of the 2022 6th International Conference on Education and E-Learning, ICEEL 2022, Yamanashi, Japan, November 21-23, 2022. pages 43-49, ACM, 2022. [doi]
Abstract is missing.