| Serial Number | 98824561 |
| Word Mark | LEAN |
| Filing Date | Monday, October 28, 2024 |
| Status | 641 - NON-FINAL ACTION - MAILED |
| Status Date | Wednesday, May 28, 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 open source 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 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 making available to others 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; Providing temporary use of 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 non-downloadable software for mathematics, proof automation, and code verification; Providing online publications, guides, tutorials, articles and technical documentation for using open source functional programming language for use in mathematics, proof automation and verified code synthesis |
| 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 |