Automated Theorem Proving Bootcamp: from SMT solvers to Lean 4 + Mathlib to LLM-based prover harness.
Python Updated about 1 month ago 1 commits
drift-coder|Mirror: kukushking/theorem (⭐0)
about 1 month 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