扩展目录 / 函数与聚合
proven：将 libproven 形式化验证安全函数暴露给 PostgreSQL 的 C 语言绑定
pgext.cloud · 源码仓库 · 官方文档 · 许可证原文 · Control 文件