[Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)

Edsko de Vries edskodevries at gmail.com
Tue Sep 1 15:50:13 CEST 2009


that should read provably, not probably :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090901/5c924e1b/attachment.html


More information about the Agda mailing list