https://github.com/lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean
https://github.com/lean-dojo/LeanCopilot

formal-mathematics lean lean4 llm-inference machine-learning theorem-proving

Last synced: about 2 months ago
JSON representation

LLMs as Copilots for Theorem Proving in Lean

• Host: GitHub
• URL: https://github.com/lean-dojo/LeanCopilot
• Owner: lean-dojo
• License: mit
• Created: 2023-09-09T01:52:22.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-07-02T02:12:50.000Z (3 months ago)
• Last Synced: 2024-07-05T14:40:43.100Z (3 months ago)
• Topics: formal-mathematics, lean, lean4, llm-inference, machine-learning, theorem-proving
• Language: C++
• Homepage: https://leandojo.org
• Size: 1.13 MB
• Stars: 851
• Watchers: 12
• Forks: 77
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project