search

Lean-zh / fp-lean-zh

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

Revert "use script to split po files" #6

Closed OlingCat closed 6 months ago

OlingCat commented 6 months ago

Reverts Lean-zh/fp-lean-zh#5