Re:AlphaProof Code
by pyrale on Wednesday November 11, 2026 @07:33AM
(#50452669)
> if they only proved narrow properties of the system.
It's always this. Basically, the big issue with proof systems is that you have got to decide yourself what you want to prove. When someone say software is formally proofed, the first question you should ask is what was proven.
It's always this. Basically, the big issue with proof systems is that you have got to decide yourself what you want to prove. When someone say software is formally proofed, the first question you should ask is what was proven.