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 98824552. The federal status of this trademark filing is NON-FINAL ACTION - MAILED as of Monday, March 31, 2025. This trademark is owned by Lean FRO, LLC. The LEAN trademark is filed in the Education & Entertainment Services category with the following description:
Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis
