Package ghc-proofs
Top Similar Packages
Packages that have similar categories to this package
- toysolver 25
- opentheory-primitive 22
- opentheory 18
- inspection-testing 13
- sbv 13
- z3 8
- opentheory-bits 5
- smtlib2 5
- boolector 4
- CSPM-Frontend 3
- opentheory-probability 3
- hermit 2
- ghc-proofs 1
- CSPM-FiringRules 1
- CSPM-Interpreter 1
- CSPM-ToProlog 1
- opentheory-byte 1
- sbvPlugin 1
- smtlib2-pipe 1
- smtlib2-quickcheck 1