Giters
jesse-michael-han
/
lean-gptf
Interactive neural theorem proving in Lean
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
114
Watchers:
7
Issues:
5
Forks:
6
jesse-michael-han/lean-gptf Issues
Is there any version for Lean 4?
Updated
4 months ago
Comments count
1
Getting Invalid Organization error
Updated
2 years ago
Comments count
3
It seems that the model "formal-lean-pact" doesn't exist.
Updated
2 years ago
OpenAI key
Updated
2 years ago
Comments count
1
More care should be taken escaping json (on Windows at least)
Closed
3 years ago