Specifiction
For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
List your tool
Vendor dashboard
Tech riderRev. 20 Sept 2026

Lean

Ch 116.4of 33 Formal Verification Tools
  1. 1Runs onWeb, Windows, Mac, Linux
  2. 2CostsNot stated by the maker
  3. 3Verification methoddeductive
  4. 4Supported formalismstheorem-proving
  5. 5Proof artifactsYes
  6. 6Input languagesLean 4
  7. 7Deploymentboth
6 lines stated Written from the maker's own pages: lean-lang.org
Visit site Alternatives
The Lean homepage

Overview

Lean is ranked #11 of 33 in formal verification tools on Specifiction. It runs on Web, Windows, macOS, Linux.

Compared on formal verification tools

Verification method
deductivelean-lang.org
Supported formalisms
theorem-provinglean-lang.org
Proof artifacts
Yeslean-lang.org
Input languages
Lean 4lean-lang.org
Deployment
bothlean-lang.org

Company

Founded
2013lean-lang.org · 28 Sept 2026

Best Lean alternatives

See all 20
All accessCh 01 PVS Free planLinuxMac Free to start7.5 All accessCh 02 Rocq Free planBrowserLinux Free to start7.5 All accessCh 03 Z3 Free planAndroidAPI Free to start7.4 All accessCh 04 Alloy Analyzer Free planAPILinux Free to start7.2 All accessCh 05 UPPAAL Free planLinuxMac Free to start7.2 All accessCh 06 CBMC Free planLinuxMac Free to start7.1

Where it ranks on Specifiction

Is Lean yours?

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.

Claim it free Promote Lean

Sources