LEAN
Live / Registered — Registered (as of 20 Jan 2026)
What this means for you
Registered since 20 Jan 2026. The owner can stop confusingly similar uses in the classes it covers.
Record
- Serial number
- 98824556
- Registration number
- 8106423
- Mark type
- Word mark
- Filed
- 28 Oct 2024
- Published for opposition
- 02 Dec 2025
- Registered
- 20 Jan 2026
- Attorney of record
- Stacy E. Don
Goods and services
- Class 009 — Scientific and electric apparatus: Computer programs, downloadable, for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for use in mathematics, proof automation, and code verification; Computer programs, recorded, for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, recorded, for use in mathematics, proof automation, and code verification; Downloadable computer software for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Downloadable computer software for use in mathematics, proof automation, and code verification
Owner
- Lean FRO, LLC, Cambridge, MA, US
- Lean FRO, LLC, Cambridge, MA, US
- Lean FRO, LLC, Cambridge, MA, US
Prosecution history
- 20 Jan 2026 — NOTICE OF REGISTRATION CONFIRMATION EMAILED
- 20 Jan 2026 — REGISTERED-PRINCIPAL REGISTER
- 02 Dec 2025 — OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
- 02 Dec 2025 — PUBLISHED FOR OPPOSITION
- 26 Nov 2025 — NOTIFICATION OF NOTICE OF PUBLICATION E-MAILED
- 05 Nov 2025 — APPROVED FOR PUB - PRINCIPAL REGISTER
- 05 Nov 2025 — EXAMINER'S AMENDMENT ENTERED
- 05 Nov 2025 — NOTIFICATION OF EXAMINERS AMENDMENT E-MAILED
- 05 Nov 2025 — EXAMINERS AMENDMENT E-MAILED
- 05 Nov 2025 — EXAMINERS AMENDMENT -WRITTEN
- 23 Jul 2025 — TEAS/EMAIL CORRESPONDENCE ENTERED
- 22 Jul 2025 — CORRESPONDENCE RECEIVED IN LAW OFFICE
- 22 Jul 2025 — TEAS RESPONSE TO OFFICE ACTION RECEIVED
- 28 May 2025 — NOTIFICATION OF NON-FINAL ACTION E-MAILED
- 28 May 2025 — NON-FINAL ACTION E-MAILED