eddie

Haskell ★ 12 updated 10y ago

An automatic first-order theorem prover in Haskell

No plain-English explanation yet — one is being written right now. Check back in a minute.

Open on GitHub →