Skip to content

Feat: Add documentation support with MkDocs i18n - #406

Draft
RexWzh wants to merge 4 commits into
leanprover-community:mainfrom
Lean-zh:main
Draft

Feat: Add documentation support with MkDocs i18n#406
RexWzh wants to merge 4 commits into
leanprover-community:mainfrom
Lean-zh:main

Commits

Commits on Oct 4, 2025

  • Add Docs

    RexWzhRexWzh
    authored
    0e3f89d

Commits on Oct 6, 2025

Commits on Oct 7, 2025