https://github.com/riccardobiosas/leangpt
Experiments with interactive theorem provers, LLMs and formal systems
https://github.com/riccardobiosas/leangpt
ai-agents ai-assisted-development chatgpt formal-proofs gpt-3 interactive-theorem-proving langchain lean-theorem-prover llm math theorem-prover
Last synced: 12 months ago
JSON representation
Experiments with interactive theorem provers, LLMs and formal systems
- Host: GitHub
- URL: https://github.com/riccardobiosas/leangpt
- Owner: RiccardoBiosas
- Created: 2023-05-31T02:23:50.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2023-07-10T11:56:56.000Z (about 3 years ago)
- Last Synced: 2024-04-17T04:16:44.880Z (over 2 years ago)
- Topics: ai-agents, ai-assisted-development, chatgpt, formal-proofs, gpt-3, interactive-theorem-proving, langchain, lean-theorem-prover, llm, math, theorem-prover
- Language: Coq
- Homepage:
- Size: 7.81 KB
- Stars: 12
- Watchers: 2
- Forks: 2
- Open Issues: 0