elan-init

4.2.4

Lean Theorem Prover installer and version manager

Install

brew install elan-init

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	4.2.4	File SHA-256 `87bf79bf84058beab76f351f5cd5603802728ac926ac07ff87e85af1c36a0aef`
Apple Silicon	Tahoe	4.2.4	File SHA-256 `9cdeeb614e6fc9a63fa44ef2f420e92ce8423bb7cefbaff08abd2f11fd9992fb`
Apple Silicon	Sequoia	4.2.4	File SHA-256 `41cc13753c10dec5df9d1088e86e3b95c8869f72cb6f6fd19a4768eec91baddf`
Apple Silicon	Sonoma	4.2.4	File SHA-256 `010bfe7613650c53af524d535cde51b054f367d221b4674481b86c392e4e4127`
Intel	Sonoma	4.2.4	File SHA-256 `c38383c2cb74ce37d95cf3d7b2a005d43056052f2bd9efbc84e8ccb7dc751d67`
ARM64	Linux	4.2.4	File SHA-256 `b2b080b38272313a756740c5b71525df1b9ad8faf936606b38c85e64963819cc`
x86_64	Linux	4.2.4	File SHA-256 `8c19a2ad1d8bd4d26dc278ba38bda3109d437ac11c3fd0e3f2c3dd21f70d86dd`