Lean FRO, LLC logo

Lean FRO, LLC

6 Marks
LLC
First Filed:Oct 28, 2024Latest Filed:Oct 28, 2024Address:160 Alewife Brook Pkwy #1212, Cambridge, MA 02138

Portfolio Overview

Registered
6(100%)

Top Classes

Class 41
Education and Entertainment
2(33%)
Class 9
Electronics, Software & Scientific Equipment
2(33%)
Class 42
Software, IT Services & Scientific Research
2(33%)

TTAB Proceedings

No litigation activity

Top Firms

Law Office of Stacy E. Don(Oct 2024)
6

Trademark Portfolio

6 results

(current & previous marks)

Refine by Mark/Description🔽
Filed
Registered
Last Activity
LEAN
LEAN
Trademark
Word
REGISTERED
Owner:
Serial:98824547
Filed:Oct 28, 2024
Classes:9
Registration:8106420
Registered:Jan 20, 2026
Goods & Services
Computer programs, downloadable, for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for use in mathematics, proof automation, and code verification; Computer programs, recorded, for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, recorded, for use in mathematics, proof automation, and code verification; Downloadable computer software for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Downloadable computer software for use in mathematics, proof automation, and code verification
LEAN
LEAN
Service Mark
Word
REGISTERED
Owner:
Serial:98824552
Filed:Oct 28, 2024
Classes:41
Registration:8106421
Registered:Jan 20, 2026
Goods & Services
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
LEAN
Service Mark
Word
REGISTERED
Owner:
Serial:98824553
Filed:Oct 28, 2024
Classes:42
Registration:8106422
Registered:Jan 20, 2026
Goods & 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
LEAN
LEAN
Trademark
Stylized
REGISTERED
Owner:
Serial:98824556
Filed:Oct 28, 2024
Classes:9
Registration:8106423
Registered:Jan 20, 2026
Goods & Services
Computer programs, downloadable, for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for use in mathematics, proof automation, and code verification; Computer programs, recorded, for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, recorded, for use in mathematics, proof automation, and code verification; Downloadable computer software for use in implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Downloadable computer software for use in mathematics, proof automation, and code verification
LEAN
LEAN
Service Mark
Stylized
REGISTERED
Owner:
Serial:98824560
Filed:Oct 28, 2024
Classes:41
Registration:8106424
Registered:Jan 20, 2026
Goods & Services
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
LEAN
Service Mark
Stylized
REGISTERED
Owner:
Serial:98824561
Filed:Oct 28, 2024
Classes:42
Registration:8106425
Registered:Jan 20, 2026
Goods & 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

Cookie Preferences

We use cookies (including Google Analytics) to improve our site and understand how visitors use it.

View our privacy policy