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
- 98824561
- Registration number
- 8106425
- 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 042 — Scientific and technological services: Providing temporary use of on-line non-downloadable open-source software featuring functional programming language for use in mathematics, proof automation, and verified code synthesis; Research and development in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Providing an online website featuring technology that allows users to access open source functional programming language for use in mathematics, proof automation, and verified code synthesis, and related information about use and best practices for use of open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Researching, developing, maintaining, and providing an online website featuring technology that allows users to access a repository of computer code in the field of mathematics, proof automation, and verified code synthesis; Providing information relating to a functional computer programming language and its development environment in the field of mathematics, proof automation and verified code synthesis; Providing temporary use of online, non-downloadable software for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Providing temporary use of online, non-downloadable 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