Grayson Burton
Results
2
issues of
Grayson Burton
### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...
bug
crash