An experimental project to shorten the verification gap in AI generated code

(kurrent.io) by lougarou | Feb 27, 2026 | 1 comments on HN