[r-t] Proving programs

[Ian Broster]

Nice :)

Ian
On Tue, 16 Jul 2013 12:04:46 +0100, David Hull <davidghull at gmail.com>  
wrote:

> Webprove (http://www.turningcourse.co.uk/webprove/) should be platform  
> and
> browser independent (but I'd welcome feedback from people who think it
> isn't).
>
> DGH
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL:  
> <http://bellringers.net/pipermail/ringing-theory_bellringers.net/attachments/20130716/b6094421/attachment.html>
> _______________________________________________
> ringing-theory mailing list
> ringing-theory at bellringers.net
> http://bellringers.net/mailman/listinfo/ringing-theory_bellringers.net


-- 
Ian Broster