Coq-zh/SF-zh issues and pull requests

#33 - 翻译

Issue - State: open - Opened by shapled over 2 years ago
Labels: bug, good first issue

#33 - 翻译

Issue - State: open - Opened by shapled over 2 years ago
Labels: bug, good first issue

#32 - 请教 PREFACE 部分几处翻译

Issue - State: open - Opened by WenboYang almost 3 years ago
Labels: good first issue

#32 - 请教 PREFACE 部分几处翻译

Issue - State: open - Opened by WenboYang almost 3 years ago
Labels: good first issue

#31 - [勘误?]部分字符显示为不同的字体？

Issue - State: closed - Opened by Gargoy-Les about 3 years ago - 4 comments

#31 - [勘误?]部分字符显示为不同的字体？

Issue - State: closed - Opened by Gargoy-Les about 3 years ago - 4 comments

#30 - [咬文嚼字]SF-zh-master/lf-current/Preface.html

Issue - State: closed - Opened by Gargoy-Les about 3 years ago - 1 comment

#30 - [咬文嚼字]SF-zh-master/lf-current/Preface.html

Issue - State: closed - Opened by Gargoy-Les about 3 years ago - 1 comment

#29 - [勘误] SF-zh-master/lf-current/Basics.html

Issue - State: closed - Opened by Gargoy-Les about 3 years ago

#29 - [勘误] SF-zh-master/lf-current/Basics.html

Issue - State: closed - Opened by Gargoy-Les about 3 years ago

#28 - [勘误] Logical Foundations - INDPRINCIPLES

Issue - State: closed - Opened by MisakaCenter about 4 years ago

#28 - [勘误] Logical Foundations - INDPRINCIPLES

Issue - State: closed - Opened by MisakaCenter about 4 years ago

#27 - [勘误] Logical Foundations - INDPRINCIPLES

Issue - State: open - Opened by Shuumatsu about 4 years ago - 1 comment

#27 - [勘误] Logical Foundations - INDPRINCIPLES

Issue - State: open - Opened by Shuumatsu about 4 years ago - 1 comment

#26 - 翻译部分basic.v

Pull Request - State: closed - Opened by wangjild about 4 years ago - 1 comment

#26 - 翻译部分basic.v

Pull Request - State: closed - Opened by wangjild about 4 years ago - 1 comment

#25 - 翻译更改.v文件后，如何编译出 html 文件？

Issue - State: closed - Opened by wangjild about 4 years ago - 2 comments

#25 - 翻译更改.v文件后，如何编译出 html 文件？

Issue - State: closed - Opened by wangjild about 4 years ago - 2 comments

#24 - Basics: Coq 函数式编程勘误讨论

Issue - State: open - Opened by PhotonQuantum about 4 years ago - 4 comments

#24 - Basics: Coq 函数式编程勘误讨论

Issue - State: open - Opened by PhotonQuantum about 4 years ago - 4 comments

#23 - [勘误]Imp: 简单的指令式程序一章中对;泛策略的翻译有误

Issue - State: closed - Opened by oshmkufa2010 about 4 years ago - 1 comment
Labels: bug

#23 - [勘误]Imp: 简单的指令式程序一章中对;泛策略的翻译有误

Issue - State: closed - Opened by oshmkufa2010 about 4 years ago - 1 comment
Labels: bug

#22 - [ 勘误讨论 ] 逻辑基础 Tactics

Issue - State: closed - Opened by MisakaCenter over 4 years ago - 13 comments
Labels: enhancement

#22 - [ 勘误讨论 ] 逻辑基础 Tactics

Issue - State: closed - Opened by MisakaCenter over 4 years ago - 13 comments
Labels: enhancement

#21 - typo: 逻辑基础 Tactics

Issue - State: closed - Opened by MisakaCenter over 4 years ago - 1 comment
Labels: bug

#21 - typo: 逻辑基础 Tactics

Issue - State: closed - Opened by MisakaCenter over 4 years ago - 1 comment
Labels: bug

#20 - typo: 逻辑基础 Poly

Issue - State: closed - Opened by MisakaCenter over 4 years ago - 1 comment
Labels: bug, good first issue

#20 - typo: 逻辑基础 Poly

Issue - State: closed - Opened by MisakaCenter over 4 years ago - 1 comment
Labels: bug, good first issue

#19 - 《逻辑基础》函数式编程勘误

Issue - State: closed - Opened by Hagb over 4 years ago - 1 comment
Labels: bug

#19 - 《逻辑基础》函数式编程勘误

Issue - State: closed - Opened by Hagb over 4 years ago - 1 comment
Labels: bug

#18 - 《逻辑基础》函数式编程勘误

Issue - State: closed - Opened by Hagb over 4 years ago - 1 comment
Labels: bug

#18 - 《逻辑基础》函数式编程勘误

Issue - State: closed - Opened by Hagb over 4 years ago - 1 comment
Labels: bug

#17 - 逻辑基础：部分原文未作翻译？

Issue - State: open - Opened by Hagb over 4 years ago - 1 comment
Labels: enhancement

#16 - Tactics > The injection and discriminate Tactics

Issue - State: closed - Opened by lunaryash over 4 years ago - 1 comment
Labels: good first issue

#15 - 「格式」MoreStlc/Record 归约与定型之间格式出错

Issue - State: closed - Opened by Huxpro over 5 years ago - 1 comment
Labels: bug

#14 - [勘误讨论] IndPrinciples 索引族

Issue - State: closed - Opened by Huxpro over 5 years ago - 2 comments
Labels: bug

#13 - [勘误讨论] IMP「反函数的归纳原理」

Issue - State: closed - Opened by Huxpro over 5 years ago - 6 comments
Labels: bug, good first issue

#12 - 切换到/lf-current/deps.html乱码的问题

Issue - State: closed - Opened by Jostar1024 over 5 years ago - 4 comments
Labels: bug, good first issue

#11 - volume2中Equiv一章“任何数量的循环体的副本在不改变意义的情况下均无法被“展开””

Issue - State: closed - Opened by YSoiiiiii almost 6 years ago - 2 comments
Labels: bug, good first issue

#10 - IndProp 章节 "对证据进行反演" 部分第一个例子没有 inversion

Issue - State: closed - Opened by yuxuanchen1997 about 6 years ago - 5 comments
Labels: bug, good first issue

#9 - 逻辑基础：目录后半部分显示异常

Issue - State: closed - Opened by yjhmelody about 6 years ago - 1 comment
Labels: bug, good first issue

#8 - # LF/ProofObjects

Issue - State: closed - Opened by exprosic about 6 years ago - 24 comments
Labels: bug, good first issue

#7 - INDUCTION PROVE这章里不该是加法交换率而是结合率

Issue - State: closed - Opened by philippica over 6 years ago - 1 comment
Labels: bug, good first issue

#6 - “前言 > 概览 > 函数式编程” 一节中勘误

Issue - State: closed - Opened by Ju2ender over 6 years ago - 1 comment
Labels: bug, good first issue

#5 - 路线图上有冲突没有解决

Issue - State: closed - Opened by zwhu over 6 years ago - 2 comments
Labels: bug, good first issue

#4 - Postscript生成错误

Issue - State: closed - Opened by bctnry over 6 years ago - 4 comments

#3 - CI on Linux

Issue - State: closed - Opened by liyishuai over 6 years ago
Labels: enhancement

#2 - 惯性 → 关系

Issue - State: closed - Opened by Kraks over 6 years ago - 4 comments

#1 - Dangling download hyperlink

Issue - State: closed - Opened by liyishuai over 6 years ago

GitHub / Coq-zh/SF-zh issues and pull requests