[zh] Coq 中文   翻译


Topic Replies Activity
翻译子版说明 1 March 20, 2019
术语翻译:induction 16 August 5, 2019