issues
search
Lean-zh
/
fp-lean-zh
Lean 函数式编程
https://www.leanprover.cn/fp-lean-zh/
Other
25
stars
7
forks
source link
Interlude: Propositions, Proofs, and Indexing
#10
Open
JiechengZhao
opened
4 months ago
JiechengZhao
commented
4 months ago
[x] 翻译
[ ] 校对