Lean Copilot Activity

LLMs as Copilots for Theorem Proving in Lean

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Lean Copilot

• 18 hours ago

  Lean Copilot released /v4.34.0/x86_64-linux.tar.gz

• 18 hours ago

  Lean Copilot released /v4.34.0/arm64-macOS.tar.gz

• 18 hours ago

  Lean Copilot released /v4.34.0/arm64-linux.tar.gz

• 18 hours ago

  Lean Copilot released /v4.34.0/README.md

• 18 hours ago

  Lean Copilot released /v4.34.0/v4.34.0 source code.zip

• 18 hours ago

  Lean Copilot released /v4.34.0/v4.34.0 source code.tar.gz

• 27 days ago

  Lean Copilot released /v4.33.0/x86_64-linux.tar.gz

• 27 days ago

  Lean Copilot released /v4.33.0/arm64-linux.tar.gz

• 27 days ago

  Lean Copilot released /v4.33.0/arm64-macOS.tar.gz

• 27 days ago

  Lean Copilot released /v4.33.0/README.md

• 27 days ago

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

• 27 days ago

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

• 28 days ago

  Lean Copilot released /v4.32.0/x86_64-linux.tar.gz

• 28 days ago

  Lean Copilot released /v4.32.0/arm64-linux.tar.gz

• 28 days ago

  Lean Copilot released /v4.32.0/arm64-macOS.tar.gz

• 28 days ago

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

• 28 days ago

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

• 28 days ago

  Lean Copilot released /v4.32.0/README.md

• 3 months ago

  Lean Copilot released /v4.31.0/arm64-linux.tar.gz

• 3 months ago

  Lean Copilot released /v4.31.0/x86_64-linux.tar.gz

• 3 months ago

  Lean Copilot released /v4.31.0/arm64-macOS.tar.gz

• 3 months ago

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

• 3 months ago

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

• 3 months ago

  Lean Copilot released /v4.31.0/README.md

• 4 months ago

  Lean Copilot released /v4.29.0/x86_64-linux.tar.gz

• 4 months ago

  Lean Copilot released /v4.29.0/README.md

• 4 months ago

  Lean Copilot released /v4.29.0/arm64-linux.tar.gz

• 4 months ago

  Lean Copilot released /v4.29.0/arm64-macOS.tar.gz

• 4 months ago

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

• 4 months ago

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

• 7 months ago

  Lean Copilot released /v4.28.0/arm64-linux.tar.gz

• 7 months ago

  Lean Copilot released /v4.28.0/x86_64-linux.tar.gz

• 7 months ago

  Lean Copilot released /v4.28.0/arm64-macOS.tar.gz

• 7 months ago

  Lean Copilot released /v4.28.0/v4.28.0 source code.zip

• 7 months ago

  Lean Copilot released /v4.28.0/v4.28.0 source code.tar.gz

• 7 months ago

  Lean Copilot released /v4.28.0/README.md

• 7 months ago

  Lean Copilot released /v4.27.0/arm64-linux.tar.gz

• 7 months ago

  Lean Copilot released /v4.27.0/x86_64-linux.tar.gz

• 7 months ago

  Lean Copilot released /v4.27.0/arm64-macOS.tar.gz

• 7 months ago

  Lean Copilot released /v4.27.0/v4.27.0 source code.zip

• 7 months ago

  Lean Copilot released /v4.27.0/v4.27.0 source code.tar.gz

• 7 months ago

  Lean Copilot released /v4.27.0/README.md

• 9 months ago

  Lean Copilot released /v4.26.0/arm64-macOS.tar.gz

• 9 months ago

  Lean Copilot released /v4.26.0/arm64-linux.tar.gz

• 9 months ago

  Lean Copilot released /v4.26.0/x86_64-linux.tar.gz

• 9 months ago

  Lean Copilot released /v4.26.0/v4.26.0 source code.zip

• 9 months ago

  Lean Copilot released /v4.26.0/v4.26.0 source code.tar.gz

• 9 months ago

  Lean Copilot released /v4.26.0/README.md

• 10 months ago

  Lean Copilot released /v4.25.0/x86_64-linux.tar.gz

• 10 months ago

  Lean Copilot released /v4.25.0/arm64-macOS.tar.gz

• 10 months ago

  Lean Copilot released /v4.25.0/arm64-linux.tar.gz

• 10 months ago

  Lean Copilot released /v4.25.0/v4.25.0 source code.tar.gz

• 10 months ago

  Lean Copilot released /v4.25.0/v4.25.0 source code.zip

• 10 months ago

  Lean Copilot released /v4.25.0/README.md

• 11 months ago

  Lean Copilot released /v4.24.0/x86_64-linux.tar.gz

• 11 months ago

  Lean Copilot released /v4.24.0/arm64-linux.tar.gz

• 11 months ago

  Lean Copilot released /v4.24.0/arm64-macOS.tar.gz

• 11 months ago

  Lean Copilot released /v4.24.0/v4.24.0 source code.zip

• 11 months ago

  Lean Copilot released /v4.24.0/v4.24.0 source code.tar.gz

• 11 months ago

  Lean Copilot released /v4.24.0/README.md

• 1 year ago

  Lean Copilot released /v4.23.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.23.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.23.0/arm64-macOS.tar.gz

• 1 year ago

  Lean Copilot released /v4.23.0/v4.23.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.23.0/v4.23.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.23.0/README.md

• 1 year ago

  Lean Copilot released /v4.22.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.22.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.22.0/arm64-macOS.tar.gz

• 1 year ago

  Lean Copilot released /v4.22.0/v4.22.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.22.0/v4.22.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.22.0/README.md

• 1 year ago

  Lean Copilot released /v4.21.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.21.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.21.0/arm64-macOS.tar.gz

• 1 year ago

  Lean Copilot released /v4.21.0/v4.21.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.21.0/v4.21.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.21.0/README.md

• 1 year ago

  Lean Copilot released /v4.20.0/README.md

• 1 year ago

  Lean Copilot released /v4.20.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.20.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.20.0/arm64-macOS.tar.gz

• 1 year ago

  Lean Copilot released /v4.20.0/v4.20.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.20.0/v4.20.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.19.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.19.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.19.0/arm64-macOS.tar.gz

• 1 year ago

  Lean Copilot released /v4.19.0/README.md

• 1 year ago

  Lean Copilot released /v4.19.0/v4.19.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.19.0/v4.19.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.18.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.18.0/README.md

• 1 year ago

  Lean Copilot released /v4.18.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.18.0/arm64-macOS.tar.gz

• 1 year ago

  Lean Copilot released /v4.18.0/v4.18.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.18.0/v4.18.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.17.0/x86_64-cuda-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.17.0/arm64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.17.0/x86_64-linux.tar.gz

• 1 year ago

  Lean Copilot released /v4.17.0/arm64-macOS.tar.gz

1 >

✕