Software as a service (SaaS) featuring cloud-based artificial intelligence (AI) software for automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems for business-to-business (B2B) use; Providing online non-downloadable artificial intelligence (AI) software for use in automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems