Lean-verified proofs for [e13]
Lean-verified proofs for [e13]
Sergeev I. S. An explicit finite Bk-sequence. arXiv ePrints. 2023. Art. 2304.03988.
- The set H[n, k] is a Bk-sequence.
LEAN
- The set H[n, k] is explicit (polynomial-time computable in a simple RAM model).
LEAN
Lean-verified proofs were derived by an AI-assistant from text proofs in Reaslab environment.
return to the main page