LEAN

Mark details

Owner

Lean FRO, LLC

Serial number

98824561

Registration number

Not registered

Status

NON-FINAL ACTION - MAILED

Classes

42 (Software / tech services (SaaS, design, hosting))

Filed

2024-10-28

Registered

—

Goods / services

Providing open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Research and development in the field of mathematics and open source funct…

Register data as of 2026-11-08. Records can trail live filings — check the official USPTO search for the latest status before filing.

Similar marks

Nearest marks in the register to LEAN.

Screen your own name

A fast first-pass screen against the USPTO federal register — sound-alikes, look-alikes, and same or related classes, in plain English. Free, no signup.

Screen a name — free · Start a free watch