Giters
eschkufz
/
datalog
A datalog prover, written in haskell.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
3
Issues:
0
Forks:
0
datalog
A datalog prover, written in haskell.
About
A datalog prover, written in haskell.
Languages
Language:
Haskell
100.0%