191630200
2 days
0 recent
好玩的，有意思。（注：对于纯文字游戏、数学、数理逻辑、代码这几项过敏者，慎入此游戏）
只在开放题4.14上卡住了，卡住的原因是：将r44中的k,k'两点误认为了端点，结果这题卡了我好久
185579647
1.8 days
0 recent
全成就通关！！！这个游戏是一款相当优秀的逻辑推理类游戏。
在游玩前两章的时候，它带给我的感觉是一个编程类游戏，就像steam上其他的这类游戏一样。玩到3、4、5章时我不得不对它加上一
185438141
1.6 days
0 recent
偶遇逻辑游戏（并非偶遇，并非并非），开放题强如怪物，拼尽全力无法战胜
总体还是支持这款国产可以说是zach-like？的游戏
游玩体验仿佛是被打断了手脚，透过放大镜细品教材的前十几页，
185316800
1.5 days
0 recent
刚到第五章写代码写的头疼且卡关想给差评，熟悉了思路一路打完456章还是很爽的。
论证中的一些重复操作敲起来是真麻烦啊
186834254
1.3 days
0 recent
a1(👍)
187200195
1.1 days
0 recent
最好增加一个自定义推理规则的功能,很多操作是在反复用之前用过的操作,很麻烦,开启创意工坊
185506242
23 hours
0 recent
好玩，这里补充几个有用的小技巧。
1. 输入框可以接受多行文本，不需要一行一行输入。多行文本记得在每条命令的末尾加上英文分号。
2. 可以用-1来引用上一行产生的结果，-n也是同理，在
194084802
22 hours
18 recent
作为写过很多lean代码的人，肯定得过来感受一下这个游戏。Prove You Can Win以游戏的形式呈现了proof assistant（机器形式化证明），其实基本和proof assistant没有区别，游戏过程就是写代码。游戏里的
186077463
21 hours
0 recent
非常好玩，题目难度较高而不至于一头雾水，黑底的讲解非常详细，然后后来又发现了一些问题特意回去验证，让人回味无穷
建议是设置如果明显一点，然后放在一起会更好；括号匹配的高亮
187458234
20 hours
0 recent
补个评价吧，想法是好的，创意也是不错的，虽然它不那么像个游戏。但既然steam的的评价标准是“您是否会将这款游戏推荐给他人”，那么我不推荐，因为这个游戏的操作的繁琐程度实在是太
187964185
16 hours
0 recent
玩到废寝忘食。仿佛梦回大学的期末季，在某个安静的深夜从定理X.1啃到定理X.15，并想尽办法用这些刚刚进入脑子的抽象知识来对付课后习题。
这大概就是属于数学人的浪漫吧。
190673433
16 hours
0 recent
[h1]《证你能赢》审稿意见[/h1]
[h3]Overall merit: weak accept[/h3]
[h3]Reviewer expertise: Expert[/h3]
[list]
[*]计算机博士在读
[*]16小时完美通关，总行数1081
[/list]
[h3]Paper summary:[/h3]
类Jupiter Notebook交互式数理
185805346
12 hours
0 recent
几天下来拿到了全成就 评价评价一下哈哈
感觉对于一个数学爱好者+解谜游戏爱好者（我这种人），这款游戏会是一种享受，特别是喜欢逻辑推理的玩家.
前三章（甚至第四章）感觉都是比较基
185185455
11 hours
0 recent
一个测评视频，看了前3分钟买了，两章下来完全合乎期待
建议稍微优化操作，例如空格启动输入新步骤时，仍然需要手点一下输入框，诸如此类小细节，不过无伤大雅
解密图论佳作，玩起来
192540260
11 hours
0 recent
充分体现了公理体系不合理的时候会带来的巨大困难
185454074
10 hours
0 recent
非常好习题集，使我的脑子旋转
185628536
9 hours
0 recent
给我一个证明和构造简单引理的机会吧，瓦塔西什么都会做的😭。
回来吧同理可得，
我最骄傲的信仰，
历历在目的易证，
QED莫名在流淌。
186606042
9 hours
0 recent
还是非常推荐的，劝退点在demo中已经很明显了，但是如果你喜欢你就会觉得物所超值。
/这些题目的难度真是不当人，甚至连例题都没有，不看攻略一道题就能卡几小时。/
188397070
1 hours
0 recent
上班写代码，下班也写代码
189711615
1 hours
0 recent
仿佛回到了初学数理逻辑的时光。
就提点小建议吧。设置可选项太少，游戏主体外的内容还需要打磨。全游戏只有一首音乐而且不能关掉，加上充斥着像素恐怖气息的eureka动画和音效，让我一
