Serial Number
98824552
Owner
Lean FRO, LLCAttorney
Stacy E. DonFirst Use Date
Jul 24, 2013
Filing Date
Oct 28, 2024
LEAN Trademark
Serial Number: 98824552 • Registration: 8106421
Trademark Classes
Owner Contact Info
Legal Representation
Correspondence Address
Stacy E. Don LAW OFFICE OF STACY E. DON
8203 SIERRA COLLEGE BLVD.
ROSEVILLE, CA 95661
United States
Trademark Details
Filing Date
October 28, 2024
Registration Date
January 20, 2026
First Use Anywhere
July 24, 2013
First Use in Commerce
July 24, 2013
Published for Opposition
December 2, 2025
Goods & Services
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; Providing online publications in the nature of guides, tutorials, articles and technical documentation guides for using open source functional programming language in the field of mathematics, proof automation and verified code synthesis