# Trade Mark Journal No.2026/002 9 January 2026

## WO0000001880072 (9,41,42)

Office of origin: United States of America

Date of International Registration:28 April 2025
Date of designation in the UK: 28 April 2025

The mark consists of the word LEAN in stylized uppercase letters with the letter "E" turned backwards and the letter "A" upside down.

International priority date claimed: 28 October 2024 (United States of America) (98824556)
International priority date claimed: 28 October 2024 (United States of America) (98824561)

Class 9
  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.
Class 41
  Providing online publications, guides, tutorials, articles and technical documentation for using open source functional programming language for use in mathematics, proof automation and verified code synthesis.
Class 42
  Providing open source functional programming language for use in mathematics, proof automation, and verified code synthesis (term considered too vague by the International Bureau pursuant to Rule 13 (2) (b) of the Regulations); 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 (term considered too vague by the International Bureau pursuant to Rule 13 (2) (b) of the Regulations); researching, developing, maintaining, and making available to others a repository of computer code in the field of mathematics, proof automation, and verified code synthesis (term considered too vague by the International Bureau pursuant to Rule 13 (2) (b) of the Regulations); providing information relating to a functional computer programming language and ITS development environment; providing temporary use of 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 non-downloadable software for mathematics, proof automation, and code verification.

Lean FRO, LLC

Representative: Stacy E. Don Law Office of Stacy E. Don, 8203 Sierra College Blvd., Roseville CA 95661, UNITED STATES OF AMERICA