K Kevin Buzzard
Kevin Buzzard is an active collaborator on projects that contain the following public documents:| Path | Description | Last Modified | Stars | Views |
|---|---|---|---|---|
| Maths_Challenges | 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". | 9/19/2020, 5:58:08 PM | 5 | 22528 |
| MaximL/2021-04-23-15391…curves.OCR.annotated.pdf | 4/23/2021, 6:03:29 PM | 1013 | ||
| complex.lean | A simple complex number game. You need to have played the natural number game https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ first. | 5/11/2020, 11:46:06 AM | 339 | |
| natural_number_game.zip | 4/4/2020, 4:54:37 PM | 71 | ||
| public | Examples of using LEAN in CoCalc | 9/5/2018, 6:37:45 PM | 676 |