NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER
record initialized not assigned to examiner
on 28 Oct 2024
Last Applicant/ Owned by
160 Alewife Brook Pkwy #1212
Cambridge
MA
02138
Serial Number
98824547 filed on 28th Oct 2024
Registration Number
N/A
Correspondent Address
Stacy E. Don
Filing Basis
1. filed as use application
2. use application currently
Disclaimer
NO DATA
LEAN
Computer programs, downloadable, for 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 mathematics, proof automation, and code verification; Computer programs, recorded, for implementing a computer programming language, Read More
Classification Information
Class [009]
Computer & Software Products & Electrical & Scientific Products
Computer programs, downloadable, for 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 mathematics, proof automation, and code verification; Computer programs, recorded, for 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 mathematics, proof automation, and code verification; Downloadable computer software for 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 mathematics, proof automation, and code verification
First Use Date in General
24th Jul 2013
First Use Date in Commerce
24th Jul 2013
Mark Details
Serial Number
No 98824547
Mark Type
No Service/Collective Mark
Attorney Docket Number
No 528.01.01.09
44D Filed
No
44D Current
No
44E filed
No
44E Current
No
66A Filed
No
66A Current
No
Current Basis
No
No Basis
No
Legal History
| Status Date | Action Taken |
|---|---|
| 28th Oct 2024 | NEW APPLICATION OFFICE SUPPLIED DATA ENTERED |
| 28th Oct 2024 | NEW APPLICATION ENTERED |