Giters

benhuds / ocaml-provers

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocamlpropositional-logicfirst-order-logictheorem-prover

ocaml-provers

some theorem provers

About

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

ocamlpropositional-logicfirst-order-logictheorem-prover

Languages

Language:OCaml 99.8%Language:Shell 0.2%