M1F 2018-19 example sheets in Lean
In a directory called src.
There are loads of easy ways. You don't have to install anything. Lean is on all the computers in the MLC and there are other ways too.
forked from ImperialCollegeLondon/M1F_example_sheets
-
Notifications
You must be signed in to change notification settings - Fork 0
M1F 2018-19 example sheet 1 in Lean
License
tejalmalde/M1F_example_sheets
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
M1F 2018-19 example sheet 1 in Lean
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Lean 92.3%
- Jupyter Notebook 7.7%