Lean 4 Activity

Lean 4 programming language and theorem prover

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Lean 4

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 3 days ago

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

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-windows.zip

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-windows.tar.zst

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-linux_aarch64.zip

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-linux_aarch64.tar.zst

• 6 days ago

  Lean 4 released /v4.29.1/README.md

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-windows.zip

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-windows.tar.zst

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-linux_aarch64.zip

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-linux_aarch64.tar.zst

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-linux.zip

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-linux.tar.zst

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-darwin_aarch64.zip

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-darwin_aarch64.tar.zst

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-darwin.zip

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-linux.zip

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-darwin_aarch64.tar.zst

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-darwin_aarch64.zip

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-linux.tar.zst

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-darwin.zip

• 6 days ago

  Lean 4 released /v4.28.1/README.md

• 6 days ago

  Lean 4 released /v4.28.1/lean-4.28.1-darwin.tar.zst

• 6 days ago

  Lean 4 released /v4.29.1/lean-4.29.1-darwin.tar.zst

• 6 days ago

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

• 6 days ago

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

• 6 days ago

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

• 6 days ago

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

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-windows.zip

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-windows.tar.zst

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-linux_aarch64.zip

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-linux_aarch64.tar.zst

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-linux.zip

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-linux.tar.zst

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-darwin_aarch64.zip

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-darwin_aarch64.tar.zst

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-darwin.zip

• 24 days ago

  Lean 4 released /v4.29.0/lean-4.29.0-darwin.tar.zst

• 24 days ago

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

• 24 days ago

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

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-windows.zip

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-windows.tar.zst

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-linux_aarch64.zip

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-linux_aarch64.tar.zst

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-linux.zip

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-linux.tar.zst

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-darwin_aarch64.zip

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-darwin_aarch64.tar.zst

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-darwin.zip

• 1 month ago

  Lean 4 released /v4.28.0/lean-4.28.0-darwin.tar.zst

1