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
- 98824547
- Registration number
- 8106420
- Mark type
- Stylized text
- 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
- 03 Sept 2025 — TEAS CHANGE OF CORRESPONDENCE RECEIVED
- 03 Sept 2025 — ATTORNEY/DOM.REP.REVOKED AND/OR APPOINTED
- 03 Sept 2025 — TEAS REVOKE/APP/CHANGE ADDR OF ATTY/DOM REP RECEIVED
- 30 Jun 2025 — TEAS/EMAIL CORRESPONDENCE ENTERED
- 30 Jun 2025 — CORRESPONDENCE RECEIVED IN LAW OFFICE