proven
FFI bindings to libproven -- formally verified safety primitives
Summary
| Latest Version | 0.5.0 |
|---|---|
| License | MPL-2.0 |
| CI Status | Failing |
| Downloads | 0 |
| Last Indexed | 2026-08-30 07:09 |
Tags
Authors
- Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
Installation
nimble install proven
choosenim install proven
git clone https://github.com/hyperpolymath/proven
OS Compatibility
| Platform | Linux | macOS | Windows | FreeBSD | OpenBSD | NetBSD | Android | iOS | WASM | Embedded |
|---|---|---|---|---|---|---|---|---|---|---|
| proven | ✓ | ✓ | ✓ | - | - | - | - | - | - | - |
Dependencies
| Package | Version | Optional |
|---|---|---|
| nim >= | 2.0.0 | No |
Source
| Repository | https://github.com/hyperpolymath/proven |
|---|---|
| Homepage | https://github.com/hyperpolymath/proven |
| Registry Source | nimble_official |