Replies: 1 comment
-
|
I'm sorry. I didn't notice the "by" after ":=". It's fixed now. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
With lean-toolchain is leanprover/lean4:v4.5.0-rc1
Using LeanCopilot "v1.0.1"
Thx!
Beta Was this translation helpful? Give feedback.
All reactions