Extensions / Functions and aggregates
proven: PostgreSQL C bindings for formally verified safety functions from libproven
pgext.cloud · Source code · Documentation · License text · Control file
| Package | proven |
|---|---|
| Version | 0.5.0 |
| Repository | Unspecified |
| Extension type | Standard |
| Project status | Active |
| Requires CREATE EXTENSION | Yes |
| Requires preload | No |
| Trusted | No |
| Relocatable | Yes |
| Stars | 2 |
| Latest commit | 2026-08-27 |
| Latest release | 2026-01-24 |
| Catalogue updated | 2026-08-30 |