Serial Number
98824547
Owner
Lean FRO, LLCAttorney
Stacy E. DonFirst Use Date
Jul 24, 2013
Filing Date
Oct 28, 2024
LEAN Trademark
Serial Number: 98824547 • Registration: 8106420
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
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
