HTML5 Canvas
Written by: Simon Sarris
Featured Refcardz: Top Refcardz:
  1. Apache Hadoop
  2. Web Driver
  3. MVVM
  4. REST
  5. ADO.NET
  1. HTML5
  2. Ajax
  3. jQuery Selectors
  4. CSS Part 1
  5. Git
150+ Refcardz Available · Get them all

Link Details

Previous | Next

Surprise Me!
Link 137813 thumbnail
User 252611 avatar

By Thierry.Lefort
via codecommit.com
Published: Dec 01 2008 / 11:54

Introduction to Automated Proof Verification with SASyLF
Doesn’t that title just get the blood pumping? Proof verification has a reputation for being an inordinately academic subject. In fact, even within scholarly (otherwise known as “unrealistically intelligent“) circles, the automated verification of proofs is known mainly as a complex, ugly and difficult task often not worth the effort. This is a shame really, because rigorous proofs are at the very core of both mathematics and computer science.
Vote up
Vote down
  • 7
  • 0
  • 1030
  • 0
SaveShareSend Tags:

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (7)



Voters Against This Link (0)