Add README.md

.editorconfig

@@ -0,0 +1,13 @@
+root = true
+
+[*]
+indent_style = space
+indent_size = 2
+end_of_line = lf
+charset = utf-8
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+[*.{yml,yaml}]
+indent_style = space
+indent_size = 2

README.md

@@ -0,0 +1,16 @@
+# Book of Formalized Formal Logic
+
+Summary and brief explanation of formalized results in this project.
+
+## Contributing
+
+To compile this book, you need bookmd and some plugins.
+
+- [mdbook](https://github.com/rust-lang/mdBook)
+- [mdbook-katex](https://github.com/lzanini/mdbook-katex) for [KaTeX](https://katex.org/)
+
+```shell
+mdbook serve md
+
+mdbook build md
+```