Comment by Jaxan Comment by Jaxan a day ago 1 reply Copy Link View on Hacker News You don’t assume the assertions, the verification shows they always hold!
Copy Link kragen 13 hours ago Collapse Comment - You assume the premises. The verification shows that the conclusions hold (assuming the premises do). Both premises and conclusions are, in some sense, "assertions", though not the C assert sense. Reply View | 0 replies
You assume the premises. The verification shows that the conclusions hold (assuming the premises do). Both premises and conclusions are, in some sense, "assertions", though not the C assert sense.