42 computer software development; software design and development; computer programming development for others; development of domain-specific languages, compiler tooling, and proving system backends; development and provision of blockchain technologies