Error in definition of IsComposite

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!

https://www.learntla.com

Other

185 stars 39 forks source link

Closed ramz-san closed 2 years ago

ramz-san commented 2 years ago

The definition of IsComposite in the Quantifiers section of Writing an Invariant is:

IsComposite(num) == \E m, n \in 2..Len(num): m * n = num

I believe it should be:

IsComposite(num) == \E m, n \in 2..num: m * n = num

hwayne commented 2 years ago

It should

hwayne commented 2 years ago

Pushing fix now