Hydrogenbear 1006097e32 Merge branch 'dev' of https://github.com/leanprover-community/lean4game into cn-i18n

2024-03-30 09:46:40 +08:00

..

public

Merge branch 'dev' of https://github.com/leanprover-community/lean4game into cn-i18n

2024-03-30 09:46:40 +08:00

src

add chinese translations

2024-03-28 20:45:50 +01:00

i18next-scanner.config.cjs

use global configs in i18n-scanner

2024-03-26 01:16:21 +01:00