[zh] Coq 中文 翻译
Topic | Replies | Views | Activity | |
---|---|---|---|---|
翻译子版说明
|
![]() |
0 | 541 | March 20, 2019 |
术语:applicative functor
|
![]() ![]() ![]() ![]() |
5 | 1130 | November 2, 2022 |
术语:induction
|
![]() ![]() ![]() ![]() |
15 | 3719 | August 5, 2019 |