Skip to content

aztek/atp

Error
Looks like something went wrong!

About

Haskell interface to automated theorem provers

hackage.haskell.org/package/atp

Topics

haskell logic theorem-proving first-order-logic formal-methods tptp atp prover automated-theorem-provers

Resources

Readme

License

GPL-3.0 license
Activity

Stars

9 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

1 tags

Packages

No packages published

Languages