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