| Serial Number | 98824561 |
| Word Mark | LEAN |
| Filing Date | Monday, October 28, 2024 |
| Status | 661 - RESPONSE AFTER NON-FINAL ACTION - ENTERED |
| Status Date | Wednesday, July 23, 2025 |
| Registration Number | 0000000 |
| Registration Date | NOT AVAILABLE |
| Mark Drawing | 5 - Drawing with word(s) / letter(s) / number(s) in Stylized form |
| Published for Opposition Date | NOT AVAILABLE |
| Description of Mark | The mark consists of the word LEAN in stylized uppercase letters with the letter "E" turned backwards and the letter "A" upside down. |
| Indication of Colors claimed | Color is not claimed as a feature of the mark. |
| 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 | Saturday, November 16, 2013 |
| First Use In Commerce Date | Saturday, November 16, 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, April 28, 2025 | NEW APPLICATION OFFICE SUPPLIED DATA ENTERED |
| Tuesday, April 29, 2025 | ASSIGNED TO EXAMINER |
| Tuesday, April 29, 2025 | ASSIGNED TO EXAMINER |
| Wednesday, May 28, 2025 | NON-FINAL ACTION WRITTEN |
| Wednesday, May 28, 2025 | NOTIFICATION OF NON-FINAL ACTION E-MAILED |
| Wednesday, May 28, 2025 | NON-FINAL ACTION E-MAILED |
| Tuesday, July 22, 2025 | CORRESPONDENCE RECEIVED IN LAW OFFICE |
| Tuesday, July 22, 2025 | TEAS RESPONSE TO OFFICE ACTION RECEIVED |
| Wednesday, July 23, 2025 | TEAS/EMAIL CORRESPONDENCE ENTERED |