/

• .gitignore
• AGENT.md
• Kb.lean
• Kb
• KnowledgeBase.lean
• Main.lean
• Mathematics.lean
• README.md
• SocietyCulture.lean
• domain.tex
• lake-manifest.json
• lakefile.toml
• lean-toolchain