Update README

Author: SnO2WMaN

README.md

@@ -2,8 +2,12 @@
 
 Bibliography of formalization/mechanization mainly related mathematical logic.
 
+Page: https://formalizedformallogic.github.io/awesome-logic-formalization
+
 ## Contributing
 
+Edit [data.yaml](./data.yaml) and submit a PR.
+
 ### HTML Generate
 
 We use generate HTML file by [Deno](https://deno.com/).