Package logic-TPTP
Top Similar Packages
Packages that have similar categories to this package
- semigroups 987
- utf8-string 643
- zlib 215
- linear 210
- hmatrix 150
- JuicyPixels 135
- mwc-random 133
- vector-space 104
- SHA 89
- tar 87
- statistics 72
- numeric-prelude 54
- matrix 52
- Decimal 49
- zip-archive 46
- random-fu 45
- gnuplot 43
- ieee754 40
- non-negative 37
- data-interval 32