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 98824561. The federal status of this trademark filing is NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER as of Monday, October 28, 2024. This trademark is owned by Lean FRO, LLC. The LEAN trademark is filed in the Computer & Software Services & Scientific Services category with the following description:
Providing open source 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 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 making available to others 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; Providing temporary use of non-downloadable software for implementing a computer progr...