Lean-verified proofs for [47]
Lean-verified proofs for [47]
Sergeev I. S. Economical formulae for symmetric boolean functions.
(submitted to Matematicheskie Voprosy Kibernetiki).
- Valiant–Boppana method for patrial threshold functions (Theorem 1). LEAN
- Approximate summation results of Section 3 (Corollary 1, Lemma 1). LEAN
(requires Theorem 1)
Lean-verified proofs were derived by an AI-assistant from text proofs in Reaslab environment.
return to the main page