Issues

• Old goal finalizers can delete fresh live goals after Server.restart()

  stanford-centaur/PyPantograph#178 · Filter by author inanna-malick opened on Oct 15, 2026

• Agent.search and MCTSAgent.search can report success with an unproved sibling

  stanford-centaur/PyPantograph#177 · Filter by author inanna-malick opened on Oct 15, 2026
  2

• Update to Lean v4.33.0

  stanford-centaur/PyPantograph#175 · Filter by author lenianiva opened on Aug 26, 2026
  

• Mark release for each new version

  buildhelp wanted
  stanford-centaur/PyPantograph#167 · Filter by author milan-tom opened on Jan 10, 2026
  5

• PyPI entry?

  help wanted
  stanford-centaur/PyPantograph#148 · Filter by author Linyxus opened on Sep 8, 2025
  1

• Feature Request: Split Pantograph and PyPantograph

  help wanted
  stanford-centaur/PyPantograph#75 · Filter by author RexWzh opened on Feb 5, 2025
  8

• Unexpected compilation errors and errors in ProofNet Lean4 dataset

  help wanted
  stanford-centaur/PyPantograph#74 · Filter by author brando90 opened on Jan 31, 2025
  2

• Reproducible instructions for installing and building Mathlib4

  stanford-centaur/PyPantograph#73 · Filter by author brando90 opened on Jan 30, 2025
  4

• Pantograph doesn't work when a debugger is one eg vscode debugger

  help wanted
  stanford-centaur/PyPantograph#70 · Filter by author brando90 opened on Jan 28, 2025
  5

• Change tactic_feedback in agent to SearchState

  enhancementfeature/search
  stanford-centaur/PyPantograph#40 · Filter by author lenianiva opened on Oct 23, 2024
  3

  

• Add and test encapsulation

  help wanted
  stanford-centaur/PyPantograph#33 · Filter by author lenianiva opened on Oct 18, 2024
  8