Skip to content

Conversation

@mo271
Copy link
Collaborator

@mo271 mo271 commented Jan 28, 2026

was missed in the review of #1704 apparently?

@github-actions github-actions bot added the oeis Conjectures from oeis.org label Jan 28, 2026
@mo271 mo271 added misformalization and removed oeis Conjectures from oeis.org labels Jan 28, 2026
@mo271
Copy link
Collaborator Author

mo271 commented Jan 28, 2026

we should really lint against that!

@mo271
Copy link
Collaborator Author

mo271 commented Jan 29, 2026

a case for #1407

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant