|
|
|
|
|
|
by jojomodding
170 days ago
|
|
|
Do you have an example Lean statement you struggle with? I would have posed that they're "just" using standard math notation that should be explained in the relevant textbook for the math you're trying to formalize, but perhaps they are indeed cooking... |
|
|