2012-08-31 20:18:54 UTC
But I'm getting tired of these claims of 'because language X has nice
algebraic properties, it's suitable for proving correctness'; without
ANY examples to prove the claim.
The wikipedia [there seem to be several] is unduly informal/chatty ?!
Is there a free/online linux-based version, with good documentation?