7 posts in total

---

2023

10-12

Import LEAN into elan

10-12

Installing LEAN on arm based Mac — Manually compile and install

10-11

Setting Up Lean on an M1 Mac: A Debugging Journey

07-12

Intern study summary - Jul 12 Wed

07-11

Intern study summary - Jul 11 Tue

07-10

Intern study summary - Jul 10 Mon

06-25

Intern study summary - Jun 25 Sun