On Fri, Mar 23, 2007 at 03:08:53AM +1100, skaller wrote:
> 'why' should 'recommends' ergo,
> they're sister products.
Not at all, Why works well with tons of other provers. Why it should
recommend ergo and not, say, Coq?
--
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature