Search results

Runtime error with Python 3.12: There is no current event loop in thread 'MainThread'

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#121 In stanford-centaur/PyPantograph;

· jonathan-laurent opened on Jun 25, 2025

async agent baseclass

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#117 In stanford-centaur/PyPantograph;

· quinn-dougherty opened on Jun 2, 2025

Feature Request: Split Pantograph and PyPantograph

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#75 In stanford-centaur/PyPantograph;

· RexWzh opened on Feb 5, 2025

Unexpected compilation errors and errors in ProofNet Lean4 dataset

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#74 In stanford-centaur/PyPantograph;

· brando90 opened on Jan 31, 2025

Reproducible instructions for installing and building Mathlib4

Status: Open.

#73 In stanford-centaur/PyPantograph;

· brando90 opened on Jan 30, 2025

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

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#70 In stanford-centaur/PyPantograph;

· brando90 opened on Jan 28, 2025

Change <code>tactic_feedback</code> in agent to <code>SearchState</code>

enhancementNew feature or requestNew feature or request

feature/searchSearch and agentsSearch and agents

Status: Open.

#40 In stanford-centaur/PyPantograph;

· lenianiva opened on Oct 23, 2024

Add and test encapsulation

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#33 In stanford-centaur/PyPantograph;

· lenianiva opened on Oct 18, 2024