Timeline for Lean 4 Importing into VSCode
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 21, 2023 at 8:01 | comment | added | Alex Byard | @JasonRute I read your profile... How does computability relate to analysis? I am a pure mathematician at heart. Documentation added btw. | |
| Sep 21, 2023 at 7:58 | history | edited | Alex Byard | CC BY-SA 4.0 |
added 93 characters in body
|
| Sep 20, 2023 at 12:26 | comment | added | Jason Rute | Can you also provide a link to the relevant documentation? Give how much Lean 4 is still in flux, it may change in the future and it is good to have a stable link to the latest instructions. | |
| Sep 20, 2023 at 2:47 | vote | accept | Alex Byard | ||
| Sep 20, 2023 at 2:47 | history | answered | Alex Byard | CC BY-SA 4.0 |