Open Internet by MindsNet

ACL2

Boyer-Moore theorem prover with inductive reasoning

Mathematics & logic, Mathematics, Mathematical Logic