Lean-verified proofs for [e13]
Lean-verified proofs for [41]
Sergeev I. S. A lower bound on the monotone switching complexity of the threshold function Tnn-1.
Discrete Mathematics and Applications. 2025. 35(5), 327-330.
- Main result of the paper (Theorem 1). LEAN
Lean-verified proofs were derived by an AI-assistant from text proofs in Reaslab environment.
return to the main page