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-syst...