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: 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, a...