Formal Proof

February 22, 2018

How Can We Help?

Formal Proof

You are here:
< Back

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