@anton-trunov here is the PR with our formatting suggestions for the whole project. As discussed, we don't expect you to merge this, but hope you can do a review describing what you think about the proposed changes. We are interested in general comments ("patterns") and some specific examples with respect to:
good suggestions
bad suggestions,
new or interesting insights given by the suggestions
Note that this was generated based on training data from mathcomp, fourcolor, odd-order, and finmap, so the style implicit in those projects is what is used. We hope you can use the GitHub review mechanism to pinpoint some examples.
@anton-trunov here is the PR with our formatting suggestions for the whole project. As discussed, we don't expect you to merge this, but hope you can do a review describing what you think about the proposed changes. We are interested in general comments ("patterns") and some specific examples with respect to:
Note that this was generated based on training data from mathcomp, fourcolor, odd-order, and finmap, so the style implicit in those projects is what is used. We hope you can use the GitHub review mechanism to pinpoint some examples.
Thank you!