Lean 4 Activity

Lean 4 programming language and theorem prover

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Lean 4

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-windows.zip

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-windows.tar.zst

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-linux_aarch64.zip

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-linux_aarch64.tar.zst

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-darwin.zip

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-linux.zip

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-darwin_aarch64.zip

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-linux.tar.zst

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-darwin_aarch64.tar.zst

• 5 days ago

  Lean 4 released /v4.33.1/lean-4.33.1-darwin.tar.zst

• 5 days ago

  Lean 4 released /v4.33.1/v4.33.1 source code.zip

• 5 days ago

  Lean 4 released /v4.33.1/v4.33.1 source code.tar.gz

• 5 days ago

  Lean 4 released /v4.33.1/README.md

• 16 days ago

  Lean 4 released /v4.33.0/README.md

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-windows.zip

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-windows.tar.zst

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-linux_aarch64.zip

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-linux_aarch64.tar.zst

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-linux.zip

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-linux.tar.zst

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-darwin_aarch64.zip

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-darwin_aarch64.tar.zst

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-darwin.zip

• 16 days ago

  Lean 4 released /v4.33.0/lean-4.33.0-darwin.tar.zst

• 16 days ago

  Lean 4 released /v4.33.0/v4.33.0 source code.zip

• 16 days ago

  Lean 4 released /v4.33.0/v4.33.0 source code.tar.gz

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-windows.zip

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-windows.tar.zst

• 28 days ago

  Lean 4 released /v4.32.2/README.md

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-linux_aarch64.zip

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-linux_aarch64.tar.zst

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-linux.zip

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-linux.tar.zst

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-darwin_aarch64.zip

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-darwin_aarch64.tar.zst

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-darwin.zip

• 28 days ago

  Lean 4 released /v4.32.2/lean-4.32.2-darwin.tar.zst

• 28 days ago

  Lean 4 released /v4.32.2/v4.32.2 source code.zip

• 28 days ago

  Lean 4 released /v4.32.2/v4.32.2 source code.tar.gz

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-windows.zip

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-windows.tar.zst

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-linux_aarch64.zip

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-linux_aarch64.tar.zst

• 1 month ago

  Lean 4 released /v4.32.1/README.md

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-linux.zip

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-linux.tar.zst

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-darwin_aarch64.zip

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-darwin_aarch64.tar.zst

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-darwin.zip

• 1 month ago

  Lean 4 released /v4.32.1/lean-4.32.1-darwin.tar.zst

• 1 month ago

  Lean 4 released /v4.32.1/v4.32.1 source code.zip

• 1 month ago

  Lean 4 released /v4.32.1/v4.32.1 source code.tar.gz

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-windows.zip

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-linux_aarch64.zip

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-linux_aarch64.tar.zst

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-windows.tar.zst

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-linux.zip

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-linux.tar.zst

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-darwin_aarch64.tar.zst

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-darwin.zip

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-darwin.tar.zst

• 2 months ago

  Lean 4 released /v4.32.0/lean-4.32.0-darwin_aarch64.zip

• 2 months ago

  Lean 4 released /v4.32.0/v4.32.0 source code.zip

• 2 months ago

  Lean 4 released /v4.32.0/v4.32.0 source code.tar.gz

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-windows.zip

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-windows.tar.zst

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-linux_aarch64.zip

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-linux_aarch64.tar.zst

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-linux.zip

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-linux.tar.zst

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-darwin_aarch64.zip

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-darwin_aarch64.tar.zst

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-darwin.zip

• 3 months ago

  Lean 4 released /v4.31.0/lean-4.31.0-darwin.tar.zst

• 3 months ago

  Lean 4 released /v4.31.0/README.md

• 3 months ago

  Lean 4 released /v4.31.0/v4.31.0 source code.zip

• 3 months ago

  Lean 4 released /v4.31.0/v4.31.0 source code.tar.gz

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-windows.zip

• 3 months ago

  Lean 4 released /v4.30.0/README.md

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-windows.tar.zst

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-linux_aarch64.zip

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-linux_aarch64.tar.zst

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-linux.zip

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-linux.tar.zst

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-darwin_aarch64.zip

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-darwin_aarch64.tar.zst

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-darwin.zip

• 3 months ago

  Lean 4 released /v4.30.0/lean-4.30.0-darwin.tar.zst

• 3 months ago

  Lean 4 released /v4.30.0/v4.30.0 source code.zip

• 3 months ago

  Lean 4 released /v4.30.0/v4.30.0 source code.tar.gz

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-linux_aarch64.zip

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-windows.zip

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-windows.tar.zst

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-linux_aarch64.tar.zst

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-linux.zip

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-linux.tar.zst

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-darwin_aarch64.zip

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-darwin_aarch64.tar.zst

• 5 months ago

  Lean 4 released /v4.30.0-rc2/lean-4.30.0-rc2-darwin.zip

• 5 months ago

  Lean 4 released /v4.30.0-rc2/README.md

1 >

✕