Lean4 solutions of ND100 Proving theorems of propositional logic and predicate logic by Lean4. These theorems are introduced as exercises in 100 Natural Deduction Problems. 自然演繹100題の演習問題を定理証明系Lean4で解きました。