I have seen the Future, and it is Config
T+0 Systems Knowledge for T+N Systems of the Future
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
.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment