[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