Download Docs
Export

LEAN

98824547 | Trademark citeCite Docket

Interested in this case?

To schedule a demo, contact us at sales@docketalarm.com. Track this case, and find millions of cases like it, let us show you how.
Filed Oct. 28, 2024
Serial No. 98824547
Registered Jan. 20, 2026
Registration No. 8,106,420
Class 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; 021; 023; 026; 036; 038
LEAN
Case Type Trademark
Status Registered. The registration date is used to determine when post-registration maintenance documents are due.
Last Updated: 3 days, 17 hours ago
Filing Date # Docket Text
to view the full docket.