← Back to feed

Visual Lean: An experimental graphical user interface for writing Lean code

IT · 2026-10-21 09:01

该项目提供可视化方式编写 Lean 代码，验证通过 WASM 在桌面和移动端本地运行，并包含自然数游戏与三种模式导览。

Source: leangame.autumnofautumn.com

Auto-generated summary for reference only. RSS