astrio-labs / 项目仓库

forall

Forall – Spec-driven AI coding with formal verification

开发者工具Show HN许可证待核实

访问项目仓库简介源于 HN 标题，原作者主张未经独立验证。

7最高 HN 分数

0评论总数

4关联讨论

回到原始讨论

看看社区怎么说

7

Show HN: Forall – Spec-driven AI coding with formal verification

0 条评论2026-07-17by Nolan_Lwin

6

The future of software isn't tests. It's proofs

0 条评论2026-07-21by Nolan_Lwin

2

Show HN: Forall – An AI coding agent that generates machine-checkable proofs

0 条评论2026-07-16by Nolan_Lwin

1

Show HN: Forall – OpenSpec but with actual machine-checkable verification

0 条评论2026-07-20by Nolan_Lwin