Theorem proving is a interesting area of Computer Science. I personally like using ACL2, which has proven itself through industrial use: <https://www.ncbi.nlm.

Theorem proving is a interesting area of Computer Science. I personally like using ACL2, which has proven itself through industrial use: <https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597723/ https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597723/>.