-
Notifications
You must be signed in to change notification settings - Fork 15
Insights: stanford-centaur/PyPantograph
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 1 New issue
There hasn’t been any commit activity on stanford-centaur/PyPantograph in the last week.
Want to help out?
1 Issue closed by 1 person
-
Pantograph server crashes from recursion error before Lean
#83 closed
Mar 11, 2025
1 Issue opened by 1 person
-
`goal_tactic` does not work for certain tactics, as compared to Lean4 or `load_sorry`
#82 opened
Mar 11, 2025
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
load_sorry fails to recognize open statements
#79 commented on
Mar 10, 2025 • 0 new comments -
Running Pantograph on newer version of Lean
#80 commented on
Mar 11, 2025 • 0 new comments -
Pantograph doesn't work when a debugger is one eg vscode debugger
#70 commented on
Mar 11, 2025 • 0 new comments -
Unexpected compilation errors and errors in ProofNet Lean4 dataset
#74 commented on
Mar 11, 2025 • 0 new comments