We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The definition of IsComposite in the Quantifiers section of Writing an Invariant is:
IsComposite
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
The text was updated successfully, but these errors were encountered:
It should
Sorry, something went wrong.
Pushing fix now
Fix #29 and #26
6bccb27
No branches or pull requests
The definition of
IsComposite
in the Quantifiers section of Writing an Invariant is:I believe it should be:
The text was updated successfully, but these errors were encountered: