Lean Copilot Activity

LLMs as Copilots for Theorem Proving in Lean

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Lean Copilot

• 2 months ago

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

• 2 months ago

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

• 2 months ago

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

• 2 months ago

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

• 2 months ago

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

• 2 months ago

  Lean Copilot released /v4.28.0/README.md

• 3 months ago

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

• 3 months ago

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

• 3 months ago

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

• 3 months ago

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

• 3 months ago

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

• 3 months ago

  Lean Copilot released /v4.27.0/README.md

• 4 months ago

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

• 4 months ago

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

• 4 months ago

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

• 4 months ago

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

• 4 months ago

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

• 4 months ago

  Lean Copilot released /v4.26.0/README.md

• 5 months ago

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

• 5 months ago

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

• 5 months ago

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

• 5 months ago

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

• 5 months ago

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

• 5 months ago

  Lean Copilot released /v4.25.0/README.md

• 6 months ago

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

• 6 months ago

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

• 6 months ago

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

• 6 months ago

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

• 6 months ago

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

• 6 months ago

  Lean Copilot released /v4.24.0/README.md

• 7 months ago

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

• 7 months ago

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

• 7 months ago

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

• 7 months ago

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

• 7 months ago

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

• 7 months ago

  Lean Copilot released /v4.23.0/README.md

• 8 months ago

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

• 8 months ago

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

• 8 months ago

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

• 8 months ago

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

• 8 months ago

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

• 8 months ago

  Lean Copilot released /v4.22.0/README.md

• 10 months ago

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

• 10 months ago

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

• 10 months ago

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

• 10 months ago

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

• 10 months ago

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

• 10 months ago

  Lean Copilot released /v4.21.0/README.md

• 11 months ago

  Lean Copilot released /v4.20.0/README.md

• 11 months ago

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

• 11 months ago

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

• 11 months ago

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

• 11 months ago

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

• 11 months ago

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

• 12 months ago

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

• 12 months ago

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

• 12 months ago

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

• 12 months ago

  Lean Copilot released /v4.19.0/README.md

• 12 months ago

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

• 12 months 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 year ago

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

• 1 year ago

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

• 1 year ago

  Lean Copilot released /v4.17.0/README.md

1