How Can We Help?
Formal Proof
Complete and convincing mathematical argument presenting the full logical justification for each proof step and for the truth of a theorem or set of theorems.
SOURCE: CNSSI-4009
February 22, 2018
Complete and convincing mathematical argument presenting the full logical justification for each proof step and for the truth of a theorem or set of theorems.
SOURCE: CNSSI-4009
