Fitri, P. et al. 2025. Learning proof of trigonometric identities with ChatGPT. Journal of Honai Math. 8, 1 (Apr. 2025), 43–56. DOI:https://doi.org/10.30862/jhm.v8i1.755.