lean-dojo/LeanDojoChatGPT

Issues

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

  #4 opened 6 months ago by riccitensor
  2

• Way to use post-plugins?

  #5 opened 6 months ago by rnrand
  4

• Plugin needs a specific repository + commit hash?

  #6 opened 8 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