Formalized Formal Logic

 Formalized Formal Logic

Formalized Formal Logic is aim to machanize some various results of mathematical logic in Lean Theorem Prover.

Contents

  1. 1. First Order
  2. 2. Arithmetic
  3. 3. Modal Logic