U.S. federal trademark · Serial No. 98071890
Platform as a service (PAAS) featuring computer software platforms for providing a marketplace for teaching, learning, and competitions in the formalization of mathematics and mathematical theorem proving; Software as a service (SAAS) services featuring software for teaching, learning, and competitions in the formalization of mathematics and mathematical theorem proving
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.