Getting a leanproject set up to check LoVe homework

- Starting with a directory with leanpkg.toml in it
- Add files such as lovelib, etc to a src folder
- Run leanproject get-mathlib-cache
- Open editor
- ???
- Profit!

id: 710d4c67adde405cb8bb03eb4a82e217
parent_id: d2eec4f85f0c43a5b8010b14ae41abf9
created_time: 2022-11-01T15:31:37.535Z
updated_time: 2022-11-02T00:34:20.913Z
is_conflict: 0
latitude: 52.37021570
longitude: 4.89516790
altitude: 0.0000
author: 
source_url: 
is_todo: 1
todo_due: 0
todo_completed: 0
source: joplin-desktop
source_application: net.cozic.joplin-desktop
application_data: 
order: 0
user_created_time: 2022-11-01T15:31:37.535Z
user_updated_time: 2022-11-02T00:34:20.913Z
encryption_cipher_text: 
encryption_applied: 0
markup_language: 1
is_shared: 0
share_id: 
conflict_original_id: 
master_key_id: 
type_: 1