[zh] Coq 中文 翻译
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
翻译子版说明
|
|
0 | 701 | March 20, 2019 |
|
术语：applicative functor
|
|
5 | 1501 | November 2, 2022 |
|
术语：induction
|
|
15 | 4459 | August 5, 2019 |