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 98824547. 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 Products & Electrical & Scientific Products category with the following description:
Computer programs, downloadable, 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; Computer programs, downloadable, for mathematics, proof automation, and code verification; Computer programs, recorded, 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; Computer programs, recorded, for mathematics, proof automation, and code verification; Downloadable computer 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; Downloadable computer software for mathematics, proof automation, and code verification