Giters
kkd26
/
logic_and_proof
Simple logic evaluator and prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
1
Issues:
0
Forks:
logic
proof-system
propositional-logic
This repository is not active
About
Simple logic evaluator and prover
logic
proof-system
propositional-logic
Languages
Language:
OCaml
100.0%