Henrik Böving
Results
61
issues of
Henrik Böving
### Prerequisites Please put an X between the brackets as you perform the following steps: * [X] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [X] Reduce the...
bug
P-high