Pittsburgh penguins Tv
anderswnilson at gmail.com
Mon Jun 29 16:58:58 CEST 2020
some protocols might need the '^' operator applied several times for an
expression. The manual doesn't state any limitation on how many times the
operator can be applied. Is there any reason, such as performance, why it
currently can't be used several times?
Note that the model below is only to exemplify.
// page 31:
// 'equations can be built on top of other equations
// (as in the case of gxy and gyx)'
generates z // added
gx = G^x
gy = G^y
gxy = gx^y
gyx = gy^x
gxyz = gxy^z // invalid model?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal