Haskell Theorem Provers twee

10

8

6

4

2

8.6

8.0

twee-lib

1 twee package

twee-lib

8.6 8.0 Haskell

DISCONTINUED. (now moved to Codeberg) An equational theorem prover based on Knuth-Bendix completion

Add another 'twee' Package

Do not miss the trending, packages, news and articles with our weekly report.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.

We recommend Spin The Wheel Of Names for a cryptographically secure random name picker.