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