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で解きました。