1. HOL4 (2024). https://hol-theorem-prover.org/
2. Gauthier, T., Kaliszyk, C., Urban, J., Kumar, R., Norrish, M.: TacticToe: learning to Prove with Tactics. J. Autom. Reason. 65, 257–286 (2021)
3. Minchao, W., Norrish, M., Walder, C.J., Dezfouli, A.: TacticZero: learning to prove theorems from scratch with deep reinforcement learning. Adv. Neural. Inf. Process. Syst. 34, 9330–9342 (2021)
4. HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. https://github.com/DkNour/HOL4PRS-Proof-Recommendation-System-for-the-HOL4-Theorem-Prover.git
5. Vaswani, A., et al.: Attention is all you need. Adv. Neural. Inf. Process. Syst. 30, 6000–6010 (2017)