Visual Lean
leangame.autumnofautumn.com- Category
- Education
- Rank
- No. 54Apps board
- Pricing
- Open Source
- Type
- APP
- Date
About
Visual Lean is an experimental graphical interface for writing Lean code, with Lean verification running locally in the browser on desktop and mobile through WebAssembly. It starts with a visual version of the Natural Numbers Game, where players prove basic properties of arithmetic, and also offers the classic typed version. The source is released under GPL-3.0.
Tags
leantheorem-provingeducationwasmnatural-numbers-game
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.