Giters

seereason / atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

License:Other

Languages

Language:Haskell 100.0%