--- layout: post author: Pascal Cuoq date: 2011-10-24 16:23 +0200 categories: link format: xhtml title: "Escher C Verifier" summary: --- {% raw %}
According to David Crocker's blog Escher C Verifier has been released. Congratulations!