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
```


Collaborative Calculation and Data Science

colby

sagemath

github

google

cornellcollege

depaul

Try doing some basic maths questions in the Lean Theorem Prover. Functions, real numbers, equivalence relations and groups. Click on README.md and then on "Open in CoCalc with one click".

Product

Resources

Company