Simon Hudon
From the documentation, I see that the following: ```yaml pull_request_rules: - name: remove outdated reviews conditions: - base=master actions: dismiss_reviews: ``` can be used to dismiss reviews when someone pushes...
By setting `coq-prefer-top-of-conclusion` to `t`, we get Proof General to focus on the conclusion of the first goal after displaying the list of goals of a proof. The conclusion is...
### 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/lean/issues). *...
### 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/lean/issues). *...
### 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/lean/issues). *...
What is the recommended way of installing this library into a project?
Co-authored-by: Daniel Fabian
Implement support for writing linting tools for proof scripts # Pull Request Description Ensure you have read the contribution guide before filling in a description of the pull request, regardless...
# Pull Request Description Ensure you have read the contribution guide before filling in a description of the pull request, regardless of whether it is complete or a work in...
# Pull Request Description Ensure you have read the contribution guide before filling in a description of the pull request, regardless of whether it is complete or a work in...