v3.51.1

📅 5/24/2023, 7:33:59 PM

文件: lean-3.51.1--browser.zip

立即下载 (5.3MB)

文件: lean-3.51.1-darwin.zip

立即下载 (7.0MB)

文件: lean-3.51.1-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.51.1-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.51.1-windows.zip

立即下载 (7.9MB)

v3.51.0

📅 5/17/2023, 6:55:50 PM

文件: lean-3.51.0--browser.zip

立即下载 (5.3MB)

文件: lean-3.51.0-darwin.zip

立即下载 (7.0MB)

文件: lean-3.51.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.51.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.51.0-windows.zip

立即下载 (7.9MB)

v3.50.3

📅 12/26/2022, 8:08:56 PM

文件: lean-3.50.3--browser.zip

立即下载 (3.6MB)

文件: lean-3.50.3-darwin.zip

立即下载 (7.0MB)

文件: lean-3.50.3-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.50.3-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.50.3-windows.zip

立即下载 (7.9MB)

v3.50.2

📅 12/23/2022, 10:24:00 PM

文件: lean-3.50.2--browser.zip

立即下载 (3.6MB)

文件: lean-3.50.2-darwin.zip

立即下载 (7.0MB)

文件: lean-3.50.2-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.50.2-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.50.2-windows.zip

立即下载 (7.9MB)

v3.50.1

📅 12/21/2022, 6:52:49 PM

文件: lean-3.50.1--browser.zip

立即下载 (3.6MB)

文件: lean-3.50.1-darwin.zip

立即下载 (7.0MB)

文件: lean-3.50.1-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.50.1-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.50.1-windows.zip

立即下载 (7.9MB)

v3.50.0

📅 12/15/2022, 12:38:56 AM

文件: lean-3.50.0--browser.zip

立即下载 (3.6MB)

文件: lean-3.50.0-darwin.zip

立即下载 (7.0MB)

文件: lean-3.50.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.50.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.50.0-windows.zip

立即下载 (7.9MB)

v3.49.1

📅 11/18/2022, 5:02:31 PM

文件: lean-3.49.1--browser.zip

立即下载 (3.6MB)

文件: lean-3.49.1-darwin.zip

立即下载 (7.0MB)

文件: lean-3.49.1-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.49.1-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.49.1-windows.zip

立即下载 (7.9MB)

v3.49.0

📅 11/11/2022, 8:08:04 PM

文件: lean-3.49.0--browser.zip

立即下载 (3.6MB)

文件: lean-3.49.0-darwin.zip

立即下载 (7.0MB)

文件: lean-3.49.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.49.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.49.0-windows.zip

立即下载 (7.9MB)

v3.48.0

📅 8/30/2022, 11:13:56 AM

文件: lean-3.48.0--browser.zip

立即下载 (3.6MB)

文件: lean-3.48.0-darwin.zip

立即下载 (6.9MB)

文件: lean-3.48.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.48.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.48.0-windows.zip

立即下载 (7.9MB)

v3.47.0

📅 8/25/2022, 6:36:58 PM

文件: lean-3.47.0--browser.zip

立即下载 (3.6MB)

文件: lean-3.47.0-darwin.zip

立即下载 (6.9MB)

文件: lean-3.47.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.47.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.47.0-windows.zip

立即下载 (7.9MB)

v3.46.0

📅 8/8/2022, 9:49:41 AM

文件: lean-3.46.0--browser.zip

立即下载 (3.6MB)

文件: lean-3.46.0-darwin.zip

立即下载 (6.9MB)

文件: lean-3.46.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.46.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.46.0-windows.zip

立即下载 (7.9MB)

v3.45.0

📅 7/13/2022, 8:47:15 PM

文件: lean-3.45.0--browser.zip

立即下载 (3.6MB)

文件: lean-3.45.0-darwin.zip

立即下载 (6.9MB)

文件: lean-3.45.0-linux.tar.gz

立即下载 (9.9MB)

文件: lean-3.45.0-linux_aarch64.tar.gz

立即下载 (9.3MB)

文件: lean-3.45.0-windows.zip

立即下载 (7.9MB)

leanprover-community/lean