Computational Philosophy is to use software to prove theorems. The FP link is to an overview of the field, below is a link to descriptions of the software syste

Computational Philosophy is to use software to prove theorems. The FP link is to an overview of the field, below is a link to descriptions of the software systems: https://www.geeksforgeeks.org/different-theorem-proving-system-tps/ https://www.geeksforgeeks.org/different-theorem-proving-syst...