About 6 Trademarks found that are owned by Lean Fro Llc

The mark consists of the word LEAN in stylized uppercase letters with the letter "E" turned backwards and the letter "A" upside down.

Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; 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

Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; 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 open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Research and development in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Providing an online website featuring open source functional programming language for use in mathematics, proof automation, and verified code synthesis, and related information about use and best practices for use of open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Researching, developing, maintaining, and making available to others a repository of computer code in the field of mathematics, proof automation, and verified code synthesis; Providing information relating to a functional computer programming language and its development environment; Providing temporary use of non-downloadable 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; Providing temporary use of non-downloadable software for mathematics, proof automation, and code verification; Providing online publications, guides, tutorials, articles and technical documentation for using open source functional programming language for use in mathematics, proof automation and verified code synthesis

The mark consists of the word LEAN in stylized uppercase letters with the letter "E" turned backwards and the letter "A" upside down.

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