USPTO serial 98824561
LEAN
Reviewed by CopyMark Law Group
- Filing date
- Status date
- Registration date
- Jan 20, 2026
- Examiner
- MCNAMARA,SHANA MARIE
- Law office
- FILE REPOSITORY (FRANCONIA)
What this means
Status 700 means the trademark is registered and active on the Principal Register. You have nationwide rights for the listed goods and services and may use ®. Section 8 maintenance is due between years five and six. Calendar Section 8 between years five and six, and consider trademark monitoring.
Need help with LEAN?
If you own this trademark, we can monitor new filings and help with USPTO deadlines. If you do not, we can file a new U.S. application.
Current trademark owner
Monitor this mark, or talk with CopyMark about this registration.
Not the owner?
File a new U.S. trademark application, or speak with our attorneys.
Owner
Cambridge, MA
Cambridge, MA
Cambridge, MA
Attorney of record
The USPTO lists this attorney as the applicant's representative for correspondence on this application.
Stacy E. Don
Stacy E. Don Law Office of Stacy E. Don8203 Sierra College Blvd.Roseville, CA 95661United StatesGoods and services
| Class | Description | Status | First use |
|---|---|---|---|
| 042 | 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 | ACTIVE | Nov 16, 2013 |
Related trademarks
CopyMark links this record to cited §2(d) serials, the owner's other marks, Nice classes, similar mark names, and recently changed USPTO applications.
Prosecution history
| Date | Code | Event | What it means |
|---|---|---|---|
| Jan 20, 2026 | NRCC | NOTICE OF REGISTRATION CONFIRMATION EMAILED | — |
| Jan 20, 2026 | R.PR | REGISTERED-PRINCIPAL REGISTER | Your trademark is registered on the Principal Register — the strongest form of federal trademark protection. You may use the ® symbol for the covered goods and services. Maintenance filings (Section 8 and renewals) are required to keep the registration alive. |
| Dec 2, 2025 | NPUB | OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED | — |
| Dec 2, 2025 | PUBO | PUBLISHED FOR OPPOSITION | Your mark was published in the USPTO Official Gazette for a 30-day opposition window. During that period, third parties who believe they would be harmed can file an opposition. If no opposition is filed, prosecution usually continues toward registration or a Notice of Allowance. |
| Nov 26, 2025 | NONP | NOTIFICATION OF NOTICE OF PUBLICATION E-MAILED | — |
| Nov 5, 2025 | CNSA | APPROVED FOR PUB - PRINCIPAL REGISTER | — |
| Nov 5, 2025 | XAEC | EXAMINER'S AMENDMENT ENTERED | — |
| Nov 5, 2025 | GNEN | NOTIFICATION OF EXAMINERS AMENDMENT E-MAILED | — |
| Nov 5, 2025 | GNEA | EXAMINERS AMENDMENT E-MAILED | — |
| Nov 5, 2025 | CNEA | EXAMINERS AMENDMENT -WRITTEN | — |
| Jul 23, 2025 | TEME | TEAS/EMAIL CORRESPONDENCE ENTERED | — |
| Jul 22, 2025 | CRFA | CORRESPONDENCE RECEIVED IN LAW OFFICE | — |
| Jul 22, 2025 | TROA | TEAS RESPONSE TO OFFICE ACTION RECEIVED | This event means the applicant filed a response to a USPTO Office Action — typically arguments, amendments, or evidence addressing the examiner's objections. The USPTO will review the response and either allow the mark to proceed or issue another action. |
| May 28, 2025 | GNRN | NOTIFICATION OF NON-FINAL ACTION E-MAILED | A non-final Office Action means the USPTO examining attorney has raised at least one issue with your trademark application but has not made a final decision. You usually have three months to respond with arguments, amendments, or evidence. Missing the deadline can abandon the application. |
| May 28, 2025 | GNRT | NON-FINAL ACTION E-MAILED | A non-final Office Action means the USPTO examining attorney has raised at least one issue with your trademark application but has not made a final decision. You usually have three months to respond with arguments, amendments, or evidence. Missing the deadline can abandon the application. |
| May 28, 2025 | CNRT | NON-FINAL ACTION WRITTEN | A non-final Office Action means the USPTO examining attorney has raised at least one issue with your trademark application but has not made a final decision. You usually have three months to respond with arguments, amendments, or evidence. Missing the deadline can abandon the application. |
| Apr 29, 2025 | DOCK | ASSIGNED TO EXAMINER | — |
| Apr 29, 2025 | DOCK | ASSIGNED TO EXAMINER | — |
| Apr 28, 2025 | NWOS | NEW APPLICATION OFFICE SUPPLIED DATA ENTERED | — |
| Oct 28, 2024 | NWAP | NEW APPLICATION ENTERED | — |