lean-dojo/LeanDojoChatGPT

Issues

• Contribution Gradio chat

  #8 opened a month ago by priamai
  0

• Plugin for id complete-manifest not found - localhost plugins

  #4 opened 7 months ago by riccitensor
  2

• Way to use post-plugins?

  #5 opened 7 months ago by rnrand
  4

• Plugin needs a specific repository + commit hash?

  #6 opened 10 months ago by rnrand
  1

• LeanDojo plugin is unable to fetch the theorem from the provided Lean4 GitHub repo URL within ChatGPT

  #2 opened a year ago by Deep0Thinking
  2

• The example path error problem

  #1 opened a year ago by JasonNing96
  4