Book of Formalized Formal Logic

Summary and brief explanation of formalized results in this project.

Contributing

If you find a typo, spelling error or else, feel free to report us. Issues and pull requests are welcome.

Compile

To compile this book, you need bookmd and some plugins.

• mdbook
• mdbook-katex for KaTeX

mdbook serve md

mdbook build md

License

This document is licensed under CC BY 4.0.