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 98824552. The federal status of this trademark filing is RESPONSE AFTER NON-FINAL ACTION - ENTERED as of Monday, June 30, 2025. This trademark is owned by Lean FRO, LLC. The LEAN trademark is filed in the Education & Entertainment Services category with the following description:

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; Providing online publications in the nature of guides, tutorials, articles and technical documentation guides for using open source functional programming language in the field of mathematics, proof automation and verified code synthesis
lean

General Information

Serial Number98824552
Word MarkLEAN
Filing DateMonday, October 28, 2024
Status661 - RESPONSE AFTER NON-FINAL ACTION - ENTERED
Status DateMonday, June 30, 2025
Registration Number0000000
Registration DateNOT AVAILABLE
Mark Drawing4 - Illustration: Drawing with word(s) / letter(s) / number(s) in Block form
Published for Opposition DateNOT AVAILABLE

Trademark Statements

Goods and ServicesProviding 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; Providing online publications in the nature of guides, tutorials, articles and technical documentation guides for using open source functional programming language in the field of mathematics, proof automation and verified code synthesis

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 DateWednesday, July 24, 2013
First Use In Commerce DateWednesday, July 24, 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, October 28, 2024NEW APPLICATION OFFICE SUPPLIED DATA ENTERED
Wednesday, March 26, 2025ASSIGNED TO EXAMINER
Monday, March 31, 2025NON-FINAL ACTION WRITTEN
Monday, March 31, 2025NOTIFICATION OF NON-FINAL ACTION E-MAILED
Monday, March 31, 2025NON-FINAL ACTION E-MAILED
Monday, June 30, 2025CORRESPONDENCE RECEIVED IN LAW OFFICE
Monday, June 30, 2025TEAS RESPONSE TO OFFICE ACTION RECEIVED
Monday, June 30, 2025TEAS/EMAIL CORRESPONDENCE ENTERED

Related Keywords

lean guides mathematics functional open programming source language code synthesis verified