index.typ

#import "/book.typ": book-page
#show: book-page.with(title: "Formalized Formal Logic")

= Formalized Formal Logic

#link("https://github.com/FormalizedFormalLogic/Foundation")[This project] is aim to formalize some various results of mathematical logic in #link("https://lean-lang.org")[Lean Theorem Prover].

This book provides explanation and summaries of formalized concepts, theorems, propositions. Proofs of them are not explained.