| 
|
Quote: a proof is a set of correct assertions; use a proof system to keep track of proved and unproved assertions
topics >
all references >
references p-r >
Topic:
program proof via assertions
Topic:
theorem proving systems
Topic:
man-machine symbiosis
Quotation Skeleton
A proof is a set of assertions. A … to stick to the truth in his proof … pointed out earlier. If in addition the user … then guaranteed that the proof is in the … selecting any step that is not in the … proof, along with the appropriate is-premise-of edges. The … just introduced. When all steps are in the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)
Topic: theorem proving systems (20 items)
Topic: man-machine symbiosis (46 items)