← 返回全部文章

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

摘要

暂无摘要

主题

AI工具实操/Agent工作流

评分

★7

来源

Hacker News Show HN

标签

#OpenCLANG/Lean#AI代码生成#形式化验证#GitHN Showcase

阅读原文 ↗