Automated Theorem Proving Bootcamp: from SMT solvers to Lean 4 + Mathlib to LLM-based prover harness.
Python Updated 13 days ago 1 commits
drift-coder|Mirror: kukushking/theorem (⭐0)
13 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Automated Theorem Proving Bootcamp: from SMT solvers to Lean 4 + Mathlib to LLM-based prover harness.
Readme