Serial Number
98824556
Owner
Lean FRO, LLCAttorney
Stacy E. DonFirst Use Date
Nov 16, 2013
Filing Date
Oct 28, 2024
LEAN Trademark
Serial Number: 98824556 • Registration: 8106423
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
November 16, 2013
First Use in Commerce
November 16, 2013
Published for Opposition
December 2, 2025
Goods & Services
Computer programs, downloadable, for use in 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 use in mathematics, proof automation, and code verification; Computer programs, recorded, for use in 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 use in mathematics, proof automation, and code verification; Downloadable computer software for use in 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 use in mathematics, proof automation, and code verification
