search

Lean-zh / fp-lean-zh

Lean 函数式编程
https://www.leanprover.cn/fp-lean-zh/
Other
25 stars 7 forks source link

use script to split po files #5

Closed JiechengZhao closed 4 months ago

JiechengZhao commented 4 months ago

use script to split po files.

The script is here https://gist.github.com/JiechengZhao/b7fa834926fcc7d5819c6d5909e8438a