Skip to content

Issues: Coq-zh/SF-zh

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
5 Open 27 Closed
5 Open 27 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[勘误?]部分字符显示为不同的字体？
#31 by ghost was closed Oct 31, 2021
4
[咬文嚼字]SF-zh-master/lf-current/Preface.html
#30 by ghost was closed Oct 31, 2021
1
[勘误] SF-zh-master/lf-current/Basics.html
#29 by ghost was closed Nov 1, 2021
@liyishuai
[勘误] Logical Foundations - INDPRINCIPLES
#28 by trackoor was closed Apr 22, 2021
翻译更改.v文件后，如何编译出 html 文件？
#25 by wangjild was closed Sep 3, 2020
2
[勘误]Imp: 简单的指令式程序一章中对;泛策略的翻译有误 bug Something isn't working
#23 by oshmkufa2010 was closed Aug 21, 2020
@OlingCat
1
[ 勘误讨论 ] 逻辑基础 Tactics enhancement New feature or request
#22 by trackoor was closed Jul 22, 2020
@OlingCat
13
typo: 逻辑基础 Tactics bug Something isn't working
#21 by trackoor was closed Jul 21, 2020
@OlingCat
1
typo: 逻辑基础 Poly bug Something isn't working good first issue Good for newcomers
#20 by trackoor was closed Jul 21, 2020
@OlingCat
1
《逻辑基础》函数式编程 勘误 bug Something isn't working
#19 by Hagb was closed Jul 21, 2020
@OlingCat
1
《逻辑基础》函数式编程 勘误 bug Something isn't working
#18 by Hagb was closed Jul 21, 2020
@OlingCat
1
Tactics > The injection and discriminate Tactics good first issue Good for newcomers
#16 by lunaryash was closed Jun 8, 2020
1
「格式」MoreStlc/Record 归约与定型之间格式出错 bug Something isn't working
#15 by Huxpro was closed Apr 16, 2019
1
[勘误讨论] IndPrinciples 索引族 bug Something isn't working
#14 by Huxpro was closed Mar 14, 2019
@Kraks
2
[勘误讨论] IMP「反函数的归纳原理」 bug Something isn't working good first issue Good for newcomers
#13 by Huxpro was closed Mar 13, 2019
@OlingCat
6
切换到/lf-current/deps.html乱码的问题 bug Something isn't working good first issue Good for newcomers
#12 by Jostar1024 was closed Feb 19, 2019
@liyishuai
4
volume2中Equiv一章“任何数量的循环体的副本在不改变意义的情况下均无法被“展开”” bug Something isn't working good first issue Good for newcomers
#11 by YSoiiiiii was closed Nov 19, 2018
@OlingCat
2
IndProp 章节 "对证据进行反演" 部分第一个例子没有 inversion bug Something isn't working good first issue Good for newcomers
#10 by yuxuanchen1997 was closed Oct 16, 2018
@liyishuai
5
逻辑基础：目录后半部分显示异常 bug Something isn't working good first issue Good for newcomers
#9 by yjhmelody was closed Oct 3, 2018
@liyishuai
1
# LF/ProofObjects bug Something isn't working good first issue Good for newcomers
#8 by exprosic was closed Oct 1, 2018
@liyishuai
24
INDUCTION PROVE这章里不该是加法交换率而是结合率 bug Something isn't working good first issue Good for newcomers
#7 by philippica was closed Jun 20, 2018
1
“前言 > 概览 > 函数式编程” 一节中勘误 bug Something isn't working good first issue Good for newcomers
#6 by Ju2ender was closed May 21, 2018
1
路线图上有冲突没有解决 bug Something isn't working good first issue Good for newcomers
#5 by zwhu was closed May 8, 2018
@OlingCat @liyishuai
2
Postscript生成错误
#4 by bctnry was closed May 3, 2018
@liyishuai
4
CI on Linux enhancement New feature or request
#3 by liyishuai was closed Apr 28, 2018
@liyishuai
ProTip! no:milestone will show everything without a milestone.