98071890
Jul 5, 2023
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
Computer and Scientific