What's all the fuss about Coq?
“Program testing can be used to show the presence of bugs, but never to show their absence” -Edsger Dijkstra One o...
One Canada SquareCanary WharfE14 5AA
020 3302 5251
© Copyrighted The Difference Engine. All rights reserved.