Update

Author: SnO2WMaN

docs/contributing.md

@@ -36,13 +36,32 @@ No publications in now.
 [SnO2WMaN:TPP2024_slides]: https://sno2wman.github.io/slides-for-tpp2024/main.pdf
 [SnO2WMaN:TPP2025_slides]: https://sno2wman.github.io/slides-for-tpp2025/main.pdf
 
+## Developers
 
-## Contributors
-
-- Palalansoukî (Shogo Saito / 齋藤 彰悟, :octocat::[@iehality][Palalansoukî:github], :e-mail::[palalansouki@gmail.com][Palalansoukî:email])
-- SnO2WMaN (Mashu Noguchi / 野口 真柊, :octocat::[@SnO2WMaN][sno2wman:github], :e-mail::[me@sno2wman.net][SnO2WMaN:email])
+- Palalansoukî (Shogo Saito / 齋藤 彰悟)
+  - GitHub: [@iehality][Palalansoukî:github]
+  - e-mail: [palalansouki@gmail.com][Palalansoukî:email]
+- SnO2WMaN (Mashu Noguchi / 野口 真柊)
+  - GitHub: [@SnO2WMaN][sno2wman:github]
+  - e-mail: [me@sno2wman.net][SnO2WMaN:email]
 
 [Palalansoukî:github]: https://github.com/iehality
 [Palalansoukî:email]: mailto:palalansouki@gmail.com
 [SnO2WMaN:github]: https://github.com/SnO2WMaN
 [SnO2WMaN:email]: mailto:me@sno2wman.net
+
+## Contributing
+
+We welcome all kinds of contributions, questions, and discussions related to the formalization of mathematical logic.
+
+### How to Contact / Proposing Idea
+
+**Please open a new topic at [GitHub Discussions](https://github.com/orgs/FormalizedFormalLogic/discussions).**
+
+The reason is simple: handling similar inquiries individually (for example, requests for advice on formalizing a particular area) can easily lead to duplicated effort.
+
+If you do not have a GitHub account or you think your message should remain confidential, please send an email us using the contact information provided on the [developers section](#developers).
+
+### Language
+
+We primary use Japanese in discussion, but English is also ok.

index.md

@@ -0,0 +1,46 @@
+# Formalized Formal Logic
+
+Formalizing formal logic (mathematical logic) in Lean Theorem Prover.
+
+## Repositories
+
+- **[Foundation]**: Main repository of our results.
+- **[GodExistence]**: Formalizing Gödel's ontological arguments of God existence.
+- **[Catalogue]**: Detailed description about our results.
+
+[Foundation]: https://github.com/FormalizedFormalLogic
+[GodExistence]: https://github.com/FormalizedFormalLogic/GodExistence
+[Catalogue]: https://github.com/FormalizedFormalLogic/Catalogue
+
+## Main Develoers
+
+- Palalansoukî (Shogo Saito, [@iehality][iehality:github], ✉️:[palalansouki@gmail.com][iehality:email])
+- SnO2WMaN (Mashu Noguchi, [@SnO2WMaN][sno2wman:github], ✉️:[me@sno2wman.net][SnO2WMaN:email])
+
+[iehality:github]: https://github.com/iehality
+[iehality:email]: mailto:palalansouki@gmail.com
+[SnO2WMaN:github]: https://github.com/SnO2WMaN
+[SnO2WMaN:email]: mailto:me@sno2wman.net
+
+## Financial Supports
+
+Any financial supports would be grateful for us.
+If you found this project valuable, to sustain our OSS development, please consider support us.
+
+### Open Collective
+
+[![Open Collective](https://opencollective.com/formalizedformallogic/donate/button.png?color=gray)][opencollective]
+
+We would like to thanks the following backers.
+
+[![Open Collective Backers](https://opencollective.com/formalizedformallogic/backers.svg)][opencollective:backers]
+
+[opencollective]: https://opencollective.com/formalizedformallogic
+[opencollective:backers]: https://opencollective.com/formalizedformallogic#backers
+
+### Previous Backers
+
+Individuals and organizations that have supported us in the past.
+
+- [Proxima Technology](https://proxima-ai-tech.com) (2024-2025)
+- [随時 (@zuizi)](https://x.com/zuizi) (2025-10)