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

1 pointsposted 7 hours ago
by matt_d
(genlang-v.github.io)

No comments yet