Lean 4 code to follow-along with A Concise Introduction to Mathematical Logic. Remarks, examples, lemmas, and theorems are mostly reproduced, and files in the repository follow their chapter and section number. Exercies are also sometimes reproduced.
Additionally, I may want to have a portion of this repo explicitly not follow the book, but instead take the learnings from formalizing and produce a sensible logic package.
Currently formalizing chapter 1 section 5.