Sunday, 15 December 2013

Proof Wiki

Pure mathematics is often used in proofs of program correctness. An interesting website aimed at demonstrating mathematical proof is ProofWiki.
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)