No match for formal proof
Sorry, the term formal proof is not in the dictionary. Check
the spelling and try removing suffixes like "-ing" and "-s".
Why is this definition missing?
Try this search on OneLook / Google
formalism « formal language « formal methods « formal system » formal system of arithmetic » formation rules » forms
Last modified: Sat Feb 17 16:22:35 GMT 2001