Textrix Veritatis织理者

【2026年SheNicest96h黑客松提交作品】

故事发生在1880年代另一条世界线的伦敦。主角是一名见习女织工，在一家为城市制作“静语纹”的工坊工作。她学习把不同颜色的“静语丝”穿过各种静语织机，按照规则织出稳定的纹样，用来驱动城市中的门锁、契约、通信和机械装置。她一直以为自己只是在通过传统手艺制造零件，而学院绅士们用符号书写的“程式”才是真正驱动城市各类器件的灵魂。

机缘巧合下，她发现学院学者用符号研究的其实是和静语纺织完全相同的结构……

————————————————————————————————————————

其实是一个关于命题逻辑自然演绎形式证明的教育游戏，但不包含任何符号和公式，不需要任何基础就能上手（我们是这么希望的x）。

全流程视频：https://www.bilibili.com/video/BV15N4m6bEix/?spm_id_from=333.1387.homepage.video...