-
-
Notifications
You must be signed in to change notification settings - Fork 0
Platform Maintainers
Your Name edited this page Jan 26, 2026
·
1 revision
proven is designed for high‑assurance environments.
Key guarantees:
- Idris proofs enforce safety properties at compile time.
- ABI is pure Zig (no logic), making audits simpler.
- Bindings must be wrappers only.
Operational guidance:
- Prefer builds that compile Idris from source.
- Audit bindings to ensure no safety logic exists outside Idris.
- Pin versions; run verification checks in CI.