-
Notifications
You must be signed in to change notification settings - Fork 33
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Mark release for each new version
buildBuild systemBuild systemhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#167 In stanford-centaur/PyPantograph;PyPI entry?
help wantedExtra attention is neededExtra attention is neededStatus: Open.#148 In stanford-centaur/PyPantograph;Feature Request: Split Pantograph and PyPantograph
help wantedExtra attention is neededExtra attention is neededStatus: Open.#75 In stanford-centaur/PyPantograph;Unexpected compilation errors and errors in ProofNet Lean4 dataset
help wantedExtra attention is neededExtra attention is neededStatus: Open.#74 In stanford-centaur/PyPantograph;- Status: Open.#73 In stanford-centaur/PyPantograph;
Pantograph doesn't work when a debugger is one eg vscode debugger
help wantedExtra attention is neededExtra attention is neededStatus: Open.#70 In stanford-centaur/PyPantograph;Change
tactic_feedbackin agent toSearchStateenhancementNew feature or requestNew feature or requestfeature/searchSearch and agentsSearch and agentsStatus: Open.#40 In stanford-centaur/PyPantograph;Add and test encapsulation
help wantedExtra attention is neededExtra attention is neededStatus: Open.#33 In stanford-centaur/PyPantograph;