Re:AlphaProof Code
by dmead on Tuesday November 10, 2026 @09:11AM
(#50440650)
did the formal proofs for the haskell compiler stop bugs from happening?
[ Parent
| on HN ]
There are no comments on this comment yet.