GenDB-V: AI-generated, formally verified database engines

2026-11-08来源 Hacker News NewEnglish

Article URL: https://genlang-v.github.io/GenDB-V/

Comments URL: https://news.ycombinator.com/item?id=50407959

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/gendb-v-ai-generated-formally-verified-database-engines-91aa41.html

相关文章