Skip to content
#

proof-debugging

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Python 1

jmf-enigma / math-research

Star 1

Mathematical discovery and proof workflows with durable recovery, explicit evidence scopes, and optional CAS/Lean verification.

theorem-proving proof-assistant formal-methods dynamic-programming operations-research symbolic-computation codex bandits wolfram-language learning-theory proof-search mechanism-design wolfram-engine lean4 mathematical-proofs agent-skills codex-skill proof-debugging failed-proof-recovery route-control
  • Updated Sep 12, 2026
  • Python

Add this topic to your repo

To associate your repository with the proof-debugging topic, visit your repo's landing page and select "manage topics."

Learn more