https://github.com/benhuds/ocaml-provers

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
https://github.com/benhuds/ocaml-provers

first-order-logic ocaml propositional-logic theorem-prover

Last synced: 9 days ago
JSON representation

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

• Host: GitHub
• URL: https://github.com/benhuds/ocaml-provers
• Owner: benhuds
• Created: 2016-10-17T20:09:26.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-22T21:03:26.000Z (almost 8 years ago)
• Last Synced: 2024-11-16T12:35:23.620Z (2 months ago)
• Topics: first-order-logic, ocaml, propositional-logic, theorem-prover
• Language: OCaml
• Homepage:
• Size: 107 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# ocaml-provers

some theorem provers