Import LEAN into elan
Import LEAN into elan Notice: I will use lean v3.42.1 for the demonstration This is a tutorial on how to override/import LEAN into elan, so that you can regulate different versions of LEAN with a ve
Installing LEAN on arm based Mac — Manually compile and install
Installing LEAN on arm based Mac — Manually compile and install This is a tutorial on how to compile LEAN from source code and install it. Next, we will see how to move it to elan (next post) Problem
Setting Up Lean on an M1 Mac: A Debugging Journey
Apple's M1 chips have ushered in a new era of computing performance. But with new architectures come new challenges. One such challenge I recently faced was setting up the Lean theorem prover. Here's
Intern study summary - Jul 12 Wed
Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu
Intern study summary - Jul 11 Tue
Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu
Intern study summary - Jul 10 Mon
Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu
Intern study summary - Jun 28 Wed
Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu
Intern study summary - Jun 27 Tue
Learning record for what I learned during my internship at 300K—a quant company on the day of 15th of Jun, Thu