Skip to main content

Browse the archive

Revision ad46491be091e941cc7489d8ef77110abdcfffb8 authored by Johan Commelin on 27 June 2020, 09:48:47 UTC, committed by Johan Commelin on 27 June 2020, 09:48:47 UTC 
This goal looks bad
1 parent 23c2b19
Raw File
code-review.md 
Copy-paste into a comment when reviewing a pull request:

```
Check:

 * [ ] coding style
 * [ ] documentation: see [the documentation requirements](doc.md)
 * [ ] for tactics:
     * [ ] tests
     * [ ] efficiency (make sure at least it's not outrageously inefficient)
  * [ ] it fits the overall mathlib design
```
back to top