Skip to content

add equational.lean as generated by Claude code#465

Merged
teorth merged 1 commit intomainfrom
equational
Mar 8, 2026
Merged

add equational.lean as generated by Claude code#465
teorth merged 1 commit intomainfrom
equational

Conversation

@teorth
Copy link
Copy Markdown
Owner

@teorth teorth commented Mar 8, 2026

No description provided.

@teorth teorth merged commit 91b9b66 into main Mar 8, 2026
3 checks passed
@teorth teorth deleted the equational branch March 8, 2026 02:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant