Closed Marinovsky closed 2 months ago
Example of the response from lean --verbose:
lean --verbose
Closes #459
Example of the response from
lean --verbose
:Closes #459