Flora :: [Package]

Search a package

@hackage / sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT

9.14.1

About 21 Versions Changelog 7 Dependencies 1 Dependent Security

About 21 Versions Changelog 7 Dependencies 1 Dependent Security

Version history

9.14.1
- Uploaded: 5 months ago
- License: BSD-3-Clause
9.12.1
- Uploaded: about 1 year ago
- License: BSD-3-Clause
9.10.1
- Uploaded: 2 years ago
- License: BSD-3-Clause
9.8.2
- Uploaded: 2 years ago
- License: BSD-3-Clause
9.8.1
- Uploaded: 2 years ago
- License: BSD-3-Clause
9.6.1
- Uploaded: 3 years ago
- License: BSD-3-Clause
9.4.4
- Uploaded: 3 years ago
- License: BSD-3-Clause
9.2.2
- Uploaded: 4 years ago
- License: BSD-3-Clause
9.0.1
- Uploaded: 5 years ago
- License: BSD-3-Clause
0.12Version Deprecated
- Uploaded: 5 years ago
- License: BSD-3-Clause
0.11Version Deprecated
- Uploaded: 7 years ago
- License: BSD-3-Clause
0.10Version Deprecated
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.9Version Deprecated
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.8Version Deprecated
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.7Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.6Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.5Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.4Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.3Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.2Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.1Version Deprecated
- Uploaded: 10 years ago
- License: BSD-3-Clause

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio