The dove package

[ Tags: bsd3, formal-methods, language, library ] [ Propose Tags ]

Properties

Versions 0.0.0
Dependencies acl2 (>=0.0.1 && <0.2), base (>=4.0 && <5.0) [details]
License BSD3
Author Tom Hawkins <tomahawkins@gmail.com>
Maintainer Tom Hawkins <tomahawkins@gmail.com>
Category Language, Formal Methods
Source repository head: git clone git://github.com/tomahawkins/dove.git
Uploaded Tue Apr 28 17:54:43 UTC 2015 by TomHawkins
Distributions NixOS:0.0.0
Downloads 208 total (2 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-04-28 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees