| Serial Number | 98824553 |
| Word Mark | LEAN |
| Filing Date | Monday, October 28, 2024 |
| Status | 661 - RESPONSE AFTER NON-FINAL ACTION - ENTERED |
| Status Date | Monday, June 30, 2025 |
| Registration Number | 0000000 |
| Registration Date | NOT AVAILABLE |
| Mark Drawing | 4 - Illustration: Drawing with word(s) / letter(s) / number(s) in Block form |
| Published for Opposition Date | NOT AVAILABLE |
| Goods and 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 |
| International Class | 042 - Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software. |
| US Class Codes | 100, 101 |
| Class Status Code | 6 - Active |
| Class Status Date | Monday, October 28, 2024 |
| Primary Code | 042 |
| First Use Anywhere Date | Wednesday, July 24, 2013 |
| First Use In Commerce Date | Wednesday, July 24, 2013 |
| Party Name | Lean FRO, LLC |
| Party Type | 10 - Original Applicant |
| Legal Entity Type | 16 - Limited Liability Company |
| Address | Cambridge, MA 02138 |
| Event Date | Event Description |
| Monday, October 28, 2024 | NEW APPLICATION ENTERED |
| Monday, October 28, 2024 | NEW APPLICATION OFFICE SUPPLIED DATA ENTERED |
| Wednesday, March 26, 2025 | ASSIGNED TO EXAMINER |
| Monday, March 31, 2025 | NON-FINAL ACTION E-MAILED |
| Monday, March 31, 2025 | NON-FINAL ACTION WRITTEN |
| Monday, June 30, 2025 | CORRESPONDENCE RECEIVED IN LAW OFFICE |
| Monday, June 30, 2025 | TEAS RESPONSE TO OFFICE ACTION RECEIVED |
| Monday, June 30, 2025 | TEAS/EMAIL CORRESPONDENCE ENTERED |
| Monday, March 31, 2025 | NOTIFICATION OF NON-FINAL ACTION E-MAILED |
| Wednesday, September 3, 2025 | TEAS CHANGE OF CORRESPONDENCE RECEIVED |
| Wednesday, September 3, 2025 | ATTORNEY/DOM.REP.REVOKED AND/OR APPOINTED |
| Wednesday, September 3, 2025 | TEAS REVOKE/APP/CHANGE ADDR OF ATTY/DOM REP RECEIVED |