Open sm4sa opened 1 year ago
I would suggest that students follow along in VSCode/lean while they read through section 2.1. To do that, I suggest the following links for installing/setting up Lean in VSCode: https://leanprover.github.io/reference/using_lean.html https://leanprover-community.github.io/get_started.html
Link(s) for installing and using VSCode could also be added.
I would suggest that students follow along in VSCode/lean while they read through section 2.1. To do that, I suggest the following links for installing/setting up Lean in VSCode: https://leanprover.github.io/reference/using_lean.html https://leanprover-community.github.io/get_started.html
Link(s) for installing and using VSCode could also be added.