|
|
|
|
|
|
by johncolanduoni
154 days ago
|
|
|
They can read the statement, and the definitions that the statement references. If everything it references is in a well-tread part of the Lean library, you can have pretty high confidence in a few minutes of going over the syntax. |
|
|