Games
浏览器内纯前端逻辑挑战——无后端。
根据真值表选出正确的二输入逻辑门（AND/OR/XOR/…）。纯前端。
在简化两级流水线上摆放 fire / stall / flush，维持不变量——呼应定理证明笔记。
在浏览器里点选文字赋值，感受 SAT 求解的搜索与冲突——形式化验证直觉练习。
用最少的字面量写出等价式——玩法占位，后续迭代。