Learning diary › Year 2024 › September, 2024 › 2024-09-27 [2024-09-27]

✍️source

#lean #sci
- found Teaching mathematics using lean and controlled natural language[massot2024teaching]
- noticed that Scientific Computing in Lean is now written in Verso!
- checked some progress in Type Checking in Lean 4
- I should put together a list of resources for learning Lean, as I have been asked and answered this question multiple times
- improve the VSCode Forester extension to have Hover, Go to definition, Search by title, and user-defined patterns for triggering completion