Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by lean-dojo
A curated list of projects in awesome lists by lean-dojo .
https://github.com/lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
formal-mathematics lean lean4 llm-inference machine-learning theorem-proving
Last synced: 04 Aug 2024
https://github.com/lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lean lean4 machine-learning theorem-proving
Last synced: 31 Jul 2024
https://github.com/lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
lean machine-learning theorem-proving
Last synced: 09 Aug 2024
https://github.com/lean-dojo/leandojochatgpt
ChatGPT plugin for theorem proving in Lean
chatgpt chatgpt-plugin large-language-models lean machine-learning theorem
Last synced: 02 Aug 2024