proven
Formally verified safety primitives - safe math, crypto, paths, email, network
Pure Nim
score 15/100
· tests present
· no docs generated
Summary
| Latest Version |
Unknown |
| License |
PMPL-1.0 |
| CI Status |
Failing
|
| Downloads |
0 |
| Last Indexed |
2026-07-21 05:23 |
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 |
✓
|
✓
|
✓
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|