Add index.md

Author: SnO2WMaN

README.md

@@ -0,0 +1 @@
+Source code for [formalizedformallogic.github.io](https://formalizedformallogic.github.io).

_config.yml

@@ -0,0 +1 @@
+title: Formalized Formal Logic

index.md

@@ -0,0 +1,48 @@
+# Formalized Formal Logic
+
+Formalizing formal logic (mathematical logic) in Lean Theorem Prover.
+
+## Repositories
+
+- **[Foundation]**: Main repository of our results.
+- **[Catalogue]**: Detailed description about our results.
+
+[Foundation]: https://github.com/FormalizedFormalLogic
+[GodExistence]: https://github.com/FormalizedFormalLogic/GodExistence
+[Catalogue]: https://github.com/FormalizedFormalLogic/Catalogue
+
+## Publications
+
+No publications in now.
+
+## Talks & Presentations
+
+1. 野口 真柊 **『標準的な様相論理のLeanでの形式化について』**_(in Japanese)_,
+  [TPP 2024][TPP2024]: 20st Theorem Proving and Provers Meeting, Dec 2024, Kyushu University.
+  [Slides (PDF)][Palalansoukî:TPP2024_slides]
+1. 齋藤 彰悟 **『Leanを用いたGödelの第一・第二不完全性定理の形式化』**_(in Japanese)_,
+  [TPP 2024][TPP2024]: 20st Theorem Proving and Provers Meeting, Dec 2024, Kyushu University.
+  [Slides (PDF)][SnO2WMaN:TPP2024_slides]
+1. 野口 真柊 **『解釈可能性論理の形式化についての報告』** _(in Japanese)_,
+  [TPP 2025][TPP2025]: 21st Theorem Proving and Provers Meeting, Dec 2025, Tohoku University.
+  [Slides (PDF)][SnO2WMaN:TPP2025_slides]
+1. 齋藤 彰悟 **『Leanによる集合論の形式化』**_(in Japanese)_,
+  [TPP 2025][TPP2025]: 21st Theorem Proving and Provers Meeting, Dec 2025, Tohoku University.
+
+[TPP2024]: https://www.math.nagoya-u.ac.jp/~garrigue/tpp2024
+[TPP2025]:https://tpp2025.blogspot.com/
+
+[Palalansoukî:TPP2024_slides]: https://iehality.github.io/ffl-slides/main.pdf
+[SnO2WMaN:TPP2024_slides]: https://sno2wman.github.io/slides-for-tpp2024/main.pdf
+[SnO2WMaN:TPP2025_slides]: https://sno2wman.github.io/slides-for-tpp2025/main.pdf
+
+
+## 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î:github]: https://github.com/iehality
+[Palalansoukî:email]: mailto:palalansouki@gmail.com
+[SnO2WMaN:github]: https://github.com/SnO2WMaN
+[SnO2WMaN:email]: mailto:me@sno2wman.net