LEAN Trademark

Trademark Overview

On Monday, October 28, 2024, a trademark application was filed for LEAN with the United States Patent and Trademark Office. The USPTO has given the LEAN trademark a serial number of 98824560. The federal status of this trademark filing is NON-FINAL ACTION - MAILED as of Wednesday, May 28, 2025. This trademark is owned by Lean FRO, LLC. The LEAN trademark is filed in the Education & Entertainment Services category with the following description:

Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis
lean

General Information

Serial Number98824560
Word MarkLEAN
Filing DateMonday, October 28, 2024
Status641 - NON-FINAL ACTION - MAILED
Status DateWednesday, May 28, 2025
Registration Number0000000
Registration DateNOT AVAILABLE
Mark Drawing5 - Drawing with word(s) / letter(s) / number(s) in Stylized form
Published for Opposition DateNOT AVAILABLE

Trademark Statements

Goods and ServicesEducation services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis
Description of MarkThe 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 claimedColor is not claimed as a feature of the mark.

Classification Information

International Class041 - Education; providing of training; entertainment; sporting and cultural activities.
US Class Codes100, 101, 107
Class Status Code6 - Active
Class Status DateMonday, October 28, 2024
Primary Code041
First Use Anywhere DateSaturday, November 16, 2013
First Use In Commerce DateSaturday, November 16, 2013

Trademark Owner History

Party NameLean FRO, LLC
Party Type10 - Original Applicant
Legal Entity Type16 - Limited Liability Company
AddressCambridge, MA 02138

Trademark Events

Event DateEvent Description
Monday, October 28, 2024NEW APPLICATION ENTERED
Monday, April 28, 2025NEW APPLICATION OFFICE SUPPLIED DATA ENTERED
Tuesday, April 29, 2025ASSIGNED TO EXAMINER
Tuesday, April 29, 2025ASSIGNED TO EXAMINER
Wednesday, May 28, 2025NON-FINAL ACTION WRITTEN
Wednesday, May 28, 2025NON-FINAL ACTION E-MAILED
Wednesday, May 28, 2025NOTIFICATION OF NON-FINAL ACTION E-MAILED

Related Keywords

lean mathematics programming functional source language proof synthesis code automation open