Category Archives: Proof

How do you know your code works?

[Warning: shameless Austin plug and a bunch of  namedropping] Shortly after New Years, I was sitting outside (in a t-shirt, by the way) at an Irish Pub (or as close as we can get here in Ausitn), sipping Guinness with … Continue reading 

Also posted in Code Examples, Code Specifications, Enforcement | 1 Comment