3 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