GitHub - kach/eddie: An automatic first-order theorem prover in Haskell

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commits
Eddie.hs		Eddie.hs
Makefile		Makefile
curiosity.ed		curiosity.ed
group.ed		group.ed
repl.hs		repl.hs
ring.ed		ring.ed
robbins.ed		robbins.ed
set.ed		set.ed
subset.ed		subset.ed

About

An automatic first-order theorem prover in Haskell

Report repository

Releases

No releases published

Packages

No packages published

Languages