Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lean-dojo / LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lean-dojo%2FLeanCopilot
Stars: 822
Forks: 71
Open Issues: 4
License: mit
Language: C++
Repo Size: 1.12 MB
Dependencies:
2
Created: 9 months ago
Updated: 7 days ago
Last pushed: 8 days ago
Last synced: 7 days ago
Topics: formal-mathematics, lean, lean4, llm-inference, machine-learning, theorem-proving
Files
Loading...
Readme
Loading...
Dependencies
Dockerfile
docker
- ubuntu latest build
.github/workflows/push_pr.yml
actions
- actions/checkout v2 composite