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
From Richard Allton:
When proving and you get to a course end such as 2143657, it would be useful if the touch checked the next six to see if it would come round
The text was updated successfully, but these errors were encountered:
No branches or pull requests
From Richard Allton:
The text was updated successfully, but these errors were encountered: