search

Lean-zh / fp-lean-zh

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

Programming, Proving, and Performance #27

Open 1478599553 opened 2 months ago

1478599553 commented 2 months ago