213407808
5.9 days
0 recent
可以，题目做起来很爽，我专门写了个python程序来输出我那些小工具，这导致我的步骤有时候有点繁琐。
206623645
3.3 days
0 recent
重温了一下这款游戏，早在策划阶段本人就参与过测试与意见，同作为游戏开发者表示真的很难想象作者在开发这样一部作品时是拥有了怎样的勇气——而发售后的结果也完全超出了我个人的预
191630200
2 days
0 recent
好玩的，有意思。（注：对于纯文字游戏、数学、数理逻辑、代码这几项过敏者，慎入此游戏）
只在开放题4.14上卡住了，卡住的原因是：将r44中的k,k'两点误认为了端点，结果这题卡了我好久
199092142
1.4 days
0 recent
딱 수학 전공서적 읽고 연습문제 푸는 감성 ㅋㅋㅋㅋ
open problem을 제시하면서 axiom이 약한 부분을 드러내 줘서 좋았다.
199619962
1.3 days
0 recent
第一章是个不错的新手教程[spoiler] [strike] 甚至有点小简单（？） [/strike] [/spoiler]
从第二章开始就上难度了，但可以搭配[url=https://www.bilibili.com/video/BV1HCrPYsEwP/] [strike] 新手教程？ [/strike] [/url]使
194084802
22 hours
0 recent
作为写过很多lean代码的人，肯定得过来感受一下这个游戏。Prove You Can Win以游戏的形式呈现了proof assistant（机器形式化证明），其实基本和proof assistant没有区别，游戏过程就是写代码。游戏里的
209138841
21 hours
0 recent
推荐
199935693
18 hours
0 recent
我最喜欢的视觉小说
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交互式数理
202461030
16 hours
0 recent
This game was nice (even though it was a bit inconvinient) until Chapter 1-4, and when I saw last proposition in Chapter 5, I was really hype about it. But sadly, it's proof was really disappointing for me. It would be really wonderful if definitions and
220784288
12 hours
12 recent
好玩。编码体验太差了，而且从第四章第五章开始就完全变成了逻辑学作业那一套，更何况axiom4太强大了，智能识别重言式，难点全在把前几章的破旧四轮车焊接到强大axiom4飞机引擎上，感觉比
192540260
11 hours
0 recent
充分体现了公理体系不合理的时候会带来的巨大困难
220161284
9 hours
9 recent
具备数学逻辑的游戏
199036852
3 hours
0 recent
The idea of this game is very interesting, and it is evident that the developer has put in much effort into the game. However, the tutorial is just too bad. It is not the coding element which deters me from playing, but the quality of the tutorial.
Th
188397070
2 hours
0 recent
上班写代码，下班也写代码
194893547
1 hours
0 recent
10分给题材，2分给UI
189711615
1 hours
0 recent
仿佛回到了初学数理逻辑的时光。
就提点小建议吧。设置可选项太少，游戏主体外的内容还需要打磨。全游戏只有一首音乐而且不能关掉，加上充斥着像素恐怖气息的eureka动画和音效，让我一
199606463
1 hours
0 recent
I bought it [i]because[/i] of a negative review saying "you may use more meaningful names to introduce arguments in a function". That basically told me that this game was created by a mathematician.
Even though English is a little bit clumsy and it's har
213132021
1 hours
0 recent
I tried this as an introduction to interactive theorem proving.
This game formalizes a maze game, but instead of finding a path, you prove that a path exists using a small set of axioms.
The biggest downside is the UI/UX: compared to actual interactive
212249030
21 hours
身为intp还蛮喜欢这种在规则限制下带着镣铐跳舞的感觉的，找到解题方法后的豁然开朗感觉像回到了写计算理论作业的时候，不过就是操作有点坐牢
