Re:AlphaProof Code
by whattheheckheck on Tuesday November 10, 2026 @07:56AM
(#50439678)
How do you prove the lean code represents what the code its proving?
[ Parent
| on HN ]
There are no comments on this comment yet.