Archives

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-28

Intern study summary - Jun 28 Wed

06-28

Intern study summary - Jun 27 Tue

06-25

Intern study summary - Jun 25 Sun

06-23

Intern study summary - Jun 15 Thu