https://profilpelajar.com/Automated_theorem_proving