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

Commits

Commits on Mar 8, 2026