Categories Cohorts About

SaaS Outpost watches software products after launch. Launch dates come from public launch announcements. Sources and method

Submit a product AboutPrivacy Terms[email protected]

Visual Lean: is it still online? | SaaS Outpost

October 2026 cohort / Education

VL

Visual Lean

Online

leangame.autumnofautumn.com

An interactive interface for writing and verifying Lean code locally while learning formal proofs.

astroautomata/lean4-wasm-in-browser
cauli/lean4-wasm-in-browser

Status: Onlinesince Nov 5, 2026
First launched: Oct 16, 2026
Category: Education
Type: Developer tool

Alternatives to Visual Lean

All education →

Similar products, all online at their last check.

The AI Interface Museuminterfaces.kylejeong.com
Online
A visual collection documenting the history of interfaces for interacting with artificial intelligence.
EducationAug 24, 2026
Klyroniklyroni.com
Online
A browser-based coding workbench that runs code, visualizes execution, and provides interactive data structures and algorithms editorials.
Education

Pricing

Open source

Domain

autumnofautumn.com

Last 30 days

100% of checks answered · median response 336 ms

Oct 9, 2026: Not checked
Oct 10, 2026: Not checked
Oct 11, 2026: Not checked
Oct 12, 2026: Not checked
Oct 13, 2026: Not checked
Oct 14, 2026: Not checked
Oct 15, 2026: Not checked
Oct 16, 2026: Not checked
Oct 17, 2026: Not checked
Oct 18, 2026: Not checked
Oct 19, 2026: Not checked
Oct 20, 2026: Not checked
Oct 21, 2026: Not checked
Oct 22, 2026: Not checked
Oct 23, 2026: Not checked
Oct 24, 2026: Not checked
Oct 25, 2026: Not checked
Oct 26, 2026: Not checked
Oct 27, 2026: Not checked
Oct 28, 2026: Not checked
Oct 29, 2026: Not checked
Oct 30, 2026: Not checked
Oct 31, 2026: Not checked
Nov 1, 2026: Not checked
Nov 2, 2026: Not checked
Nov 3, 2026: Not checked
Nov 4, 2026: Not checked
Nov 5, 2026: Online (1 of 1 checks answered)
Nov 6, 2026: Online (1 of 1 checks answered)
Nov 7, 2026: Online (1 of 1 checks answered)

Oct 9, 2026

Online
Some checks failed
Down
Not checked

Today

Daily checks started Nov 5, 2026.

Domain and certificate

Registrar: NameCheap, Inc.
Registered: Mar 18, 2026 · 7 months before launch
Renewal due: Mar 18, 2027 · in 4 months
DNS: Cloudflare
HTTPS certificate: valid to Jan 19, 2027 · 2 months left

Registration data for autumnofautumn.com from the registry's public RDAP service, looked up Nov 5, 2026.

History

Launched
Oct 16, 2026 · Launch announcement
Online
Nov 5, 2026 · online
Last checked Nov 7, 2026

Is this yours?

Claim Visual Lean to add your real icon, fix the description, or tell us when something changed.

Claim this listing

The October 2026 cohort

98%still running

of 1,894 checked products first launched that month (1,896 in all, the rest not checked yet).

Online: 1,838
Moved: 16
Having trouble: 40
Gone: 0

Education, same month: 95% of 133
Every product we track: 89% of 18,671

See the whole cohort →

Pricing history

We will record this product's plans and prices over time. Coming soon.

Jun 6, 2026

Learn AI Layer by Layerlearnai.robennals.org

Online

An interactive guide helps learners understand modern AI concepts through visual experiments and optional coding notebooks.

EducationMay 5, 2026

RL

Reinforcement Learning from Verifiable Rewardsrlvrbook.com

Online

A reference book explaining verifiable-reward reinforcement learning for AI researchers and practitioners.

EducationApr 16, 2026

ZK Visualizerzkvisualizer.com

Online

An interactive browser tool that shows how Groth16 zero-knowledge proofs are generated and verified.

EducationJan 29, 2026

Code Review Labcodereviewlab.com

Online

Teaches engineers secure code review through interactive vulnerability challenges and learning resources.

EducationJan 27, 2026