https://profilpelajar.com/en/Automated_theorem_proving