Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...
This is a project formalizing some basic definitions and results in the analysis of Boolean functions using Lean 4, largely following the book Analysis of Boolean functions by Ryan O'Donnell. Main ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する