U.S., Dec. 3 -- An application to own the trademark for 'LEAN' has been filed on Oct. 28, 2024.

Owner(s):

Lean FRO, LLC; 160 Alewife Brook Pkwy #1212, , MASSACHUSETTS

Goods and/or Services:

For: 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...