Wyrm 是一个通过触摸交互解决代数问题的教育应用，基于开源的逻辑验证引擎，适合学生和教师使用，亮点在于将数学推理过程可视化并确保解答正确性
▲81
为什么值得关注
访问 Hacker News 页面 →
将形式化验证引入数学学习工具，兼顾趣味性与逻辑严谨性，是教育科技的创新尝试
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
将形式化验证引入数学学习工具，兼顾趣味性与逻辑严谨性，是教育科技的创新尝试