https://github.com/wellecks/llm-lean

LLM tools for Lean
https://github.com/wellecks/llm-lean

Last synced: 17 days ago
JSON representation

LLM tools for Lean

• Host: GitHub
• URL: https://github.com/wellecks/llm-lean
• Owner: wellecks
• License: mit
• Created: 2024-01-13T20:38:30.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2024-01-24T18:59:59.000Z (11 months ago)
• Last Synced: 2024-01-24T20:25:01.093Z (11 months ago)
• Language: Lean
• Size: 134 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project