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
- 98824552
- Registration number
- 8106421
- 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 041 — Education and entertainment services: Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Providing online publications in the nature of guides, tutorials, articles and technical documentation guides for using open source functional programming language in the field of mathematics, proof automation and verified code synthesis
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