U.S. federal trademark · Serial No. 98824560 · Reg. No. 8106424
Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Providing online publications in the nature of guides, tutorials, articles and technical documentation guides for using open source functional programming language in the field of mathematics, proof automation and verified code synthesis
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.