HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://github.com/astrio-labs/forall

Current story

#
The future of software isn't tests. It's proofs(github.com)
HN #48,998,0662026-07-21 20:47 UTC
9 pointsby Nolan_Lwin13 days ago1 comments

Prior reposts (3 of 4 total)

#
Show HN: Forall – An AI coding agent that generates machine-checkable proofs(github.com)
HN #48,929,6542026-07-16 02:16 UTC
6 pointsby Nolan_Lwin18 days ago0 comments
#
Show HN: Forall – Spec-driven AI coding with formal verification(github.com)
HN #48,942,0122026-07-17 00:22 UTC
7 pointsby Nolan_Lwin17 days ago0 comments
#
Show HN: Forall – OpenSpec but with actual machine-checkable verification(github.com)
HN #48,984,9452026-07-20 21:12 UTC
1 pointsby Nolan_Lwin14 days ago1 comments