hylolib: Tools for hybrid logics related programs

[ library, theorem-provers ] [ Propose Tags ]
Versions [faq] 1.3.0, 1.3.1, 1.3.2, 1.3.3, 1.4.0, 1.5.0, 1.5.1, 1.5.2, 1.5.3, 1.5.4
Dependencies array, base (>=4.10 && <5), containers, mtl (>=2), pretty (>=1), random (>=1), uniplate (>=1.6.12) [details]
License LicenseRef-GPL
Author Daniel Gorin
Maintainer guillaumh@gmail.com
Category Theorem Provers
Source repo head: darcs get http://hub.darcs.net/gh/hylolib
Uploaded by GuillaumeHoffmann at Thu Apr 25 20:45:44 UTC 2019
Distributions NixOS:1.5.4
Downloads 3710 total (145 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-04-25 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees