Lean Copilot Activity

LLMs as Copilots for Theorem Proving in Lean

SourceForge Open Source Mirror Directory

Activity for Lean Copilot

21 days ago
Lean Copilot released /v4.26.0/arm64-macOS.tar.gz
21 days ago
Lean Copilot released /v4.26.0/arm64-linux.tar.gz
21 days ago
Lean Copilot released /v4.26.0/x86_64-linux.tar.gz
21 days ago
Lean Copilot released /v4.26.0/v4.26.0 source code.zip
21 days ago
Lean Copilot released /v4.26.0/v4.26.0 source code.tar.gz
21 days ago
Lean Copilot released /v4.26.0/README.md
2 months ago
Lean Copilot released /v4.25.0/x86_64-linux.tar.gz
2 months ago
Lean Copilot released /v4.25.0/arm64-macOS.tar.gz
2 months ago
Lean Copilot released /v4.25.0/arm64-linux.tar.gz
2 months ago
Lean Copilot released /v4.25.0/v4.25.0 source code.tar.gz
2 months ago
Lean Copilot released /v4.25.0/v4.25.0 source code.zip
2 months ago
Lean Copilot released /v4.25.0/README.md
3 months ago
Lean Copilot released /v4.24.0/x86_64-linux.tar.gz
3 months ago
Lean Copilot released /v4.24.0/arm64-linux.tar.gz
3 months ago
Lean Copilot released /v4.24.0/arm64-macOS.tar.gz
3 months ago
Lean Copilot released /v4.24.0/v4.24.0 source code.zip
3 months ago
Lean Copilot released /v4.24.0/v4.24.0 source code.tar.gz
3 months ago
Lean Copilot released /v4.24.0/README.md
4 months ago
Lean Copilot released /v4.23.0/arm64-linux.tar.gz
4 months ago
Lean Copilot released /v4.23.0/x86_64-linux.tar.gz
4 months ago
Lean Copilot released /v4.23.0/arm64-macOS.tar.gz
4 months ago
Lean Copilot released /v4.23.0/v4.23.0 source code.zip
4 months ago
Lean Copilot released /v4.23.0/v4.23.0 source code.tar.gz
4 months ago
Lean Copilot released /v4.23.0/README.md
5 months ago
Lean Copilot released /v4.22.0/x86_64-linux.tar.gz
5 months ago
Lean Copilot released /v4.22.0/arm64-linux.tar.gz
5 months ago
Lean Copilot released /v4.22.0/arm64-macOS.tar.gz
5 months ago
Lean Copilot released /v4.22.0/v4.22.0 source code.zip
5 months ago
Lean Copilot released /v4.22.0/v4.22.0 source code.tar.gz
5 months ago
Lean Copilot released /v4.22.0/README.md
6 months ago
Lean Copilot released /v4.21.0/x86_64-linux.tar.gz
6 months ago
Lean Copilot released /v4.21.0/arm64-linux.tar.gz
6 months ago
Lean Copilot released /v4.21.0/arm64-macOS.tar.gz
6 months ago
Lean Copilot released /v4.21.0/v4.21.0 source code.zip
6 months ago
Lean Copilot released /v4.21.0/v4.21.0 source code.tar.gz
6 months ago
Lean Copilot released /v4.21.0/README.md
7 months ago
Lean Copilot released /v4.20.0/README.md
7 months ago
Lean Copilot released /v4.20.0/x86_64-linux.tar.gz
7 months ago
Lean Copilot released /v4.20.0/arm64-linux.tar.gz
7 months ago
Lean Copilot released /v4.20.0/arm64-macOS.tar.gz
7 months ago
Lean Copilot released /v4.20.0/v4.20.0 source code.zip
7 months ago
Lean Copilot released /v4.20.0/v4.20.0 source code.tar.gz
8 months ago
Lean Copilot released /v4.19.0/x86_64-linux.tar.gz
8 months ago
Lean Copilot released /v4.19.0/arm64-linux.tar.gz
8 months ago
Lean Copilot released /v4.19.0/arm64-macOS.tar.gz
8 months ago
Lean Copilot released /v4.19.0/README.md
8 months ago
Lean Copilot released /v4.19.0/v4.19.0 source code.zip
8 months ago
Lean Copilot released /v4.19.0/v4.19.0 source code.tar.gz
9 months ago
Lean Copilot released /v4.18.0/x86_64-linux.tar.gz
9 months ago
Lean Copilot released /v4.18.0/README.md
9 months ago
Lean Copilot released /v4.18.0/arm64-linux.tar.gz
9 months ago
Lean Copilot released /v4.18.0/arm64-macOS.tar.gz
9 months ago
Lean Copilot released /v4.18.0/v4.18.0 source code.zip
9 months ago
Lean Copilot released /v4.18.0/v4.18.0 source code.tar.gz
10 months ago
Lean Copilot released /v4.17.0/x86_64-cuda-linux.tar.gz
10 months ago
Lean Copilot released /v4.17.0/arm64-linux.tar.gz
10 months ago
Lean Copilot released /v4.17.0/x86_64-linux.tar.gz
10 months ago
Lean Copilot released /v4.17.0/arm64-macOS.tar.gz
10 months ago
Lean Copilot released /v4.17.0/v4.17.0 source code.zip
10 months ago
Lean Copilot released /v4.17.0/v4.17.0 source code.tar.gz
10 months ago
Lean Copilot released /v4.17.0/README.md

1