Top Companies Using Coq

Q: What is Coq technology’s market share?

Coq market share is <0.01% out of all the technologies in the same category.

Q: What companies are using Coq?

From the data gathered in Zoominfo, Amazon, Walmart, Microsoft, Bank of America, Target, are using the Coq technology. You can see the full list in the above results table.

Q: Which industries do companies commonly use Coq for their needs?

Companies in Business Services, Hospitality, Manufacturing commonly use Coq.

Q: What are the best alternatives for Coq?

According to Zoominfo’s data CSS, PHP, HTML, GraphQL, Lua, are competitors of Coq. For more information, sign up to Zoominfo.

Products
Product
ZoomInfo Copilot
AI sales agent
GTM Workspace
AI workspace for smarter GTM
GTM Studio
Build and run GTM workflows triggered by buying signals
ZoomInfo MCP
Connect your AI to verified B2B data
Sales
Company and contact database
Marketing
Actionable ABM platform
Talent
Source the best and brightest
Operations
Lead routing and data quality
Data as a Service
ZoomInfo data for your GTM systems
Platform
Cloud partners
Ready, set, integrate
Platform overview
Connect industry-leading data across your entire tech stack
Marketplace
Unify teams, strategies, and data-driven technologies
Professional Services
Labs
Bring your AI and data-driven playbook to life
Data services
White glove services for large-scale and complex data requests
Enrich. Segment. Activate.
Solutions
Intelligence
Contact & company search
Define markets, discover ideal buyers
Lead generation
Convert contacts into pipeline
Buyer intent
Reach ready-to-buy prospects
Website visitor tracking
Turn page views into pipeline
Engagement
Sales automation
Streamline phone and email outreach
Conversation intelligence
Analyze every interaction
Website chat
Identify, engage, and route visitors
Web form optimization
Ask for less, deliver more
Ads audiences
Paid social on your target accounts
Orchestration
Workflows
Kickstart go-to-market activities
CRM enrichment
Clean, updated CRM
Predictive modeling
Meet your next customer
Data management
Automate engagement-ready data
Zoominfo in ChatGPT
Verified B2B intelligence in ChatGPT
Enterprise
Transformative solutions for industry leaders
API
Deliver data across business systems & workflows
Our Data
Overview
Global coverage
GTM Developers
Resources
Learn
Blog
Case studies
Resource center
Events
AI sales coach
Free tools
GTM plays
Help center
Company
About us
Careers
Partner program
Newsroom
Pricing

Filter Companies By

You're signed out.

93 companies using this technology

Coq is an interactive theorem prover. It implements a program specification and mathematical higher-level language called Gallina to write mathematical definitions, assertions, executable algorithms and theorems, as well as mechanically checks proofs, and find formal proofs.

Top industries utilizing this technology

Business Services
Hospitality
Manufacturing
Retail
HR & Staffing

1-10 of 93 Companies using Coq

Sort companies by

Revenue

1
Amazon
Technologies used by the company: 3,255
Amazon is a global e-commerce and cloud computing company founded in 1994 and headquartered in Seattle, Washington. The company operates through three main segments: North America, International, and Amazon Web Services (AWS). Amazon's retail platfor m offers millions of products across numerous categories through websites including amazon.com, amazon.ca, amazon.fr, amazon.de, and many others worldwide. The company manufactures electronic devices such as Kindle e-readers, Fire tablets, Fire TVs, and Echo smart speakers. Amazon provides services including AWS cloud computing, Kindle Direct Publishing for authors, marketplace platforms for third-party sellers, digital content streaming, and Amazon Prime membership program offering benefits like free shipping and media streaming. The company serves diverse customer segments including consumers, merchants, content creators, and enterprise clients across global markets. Read more
Additional technologies used by Amazon:
Apache Log4j
Ab Initio
Infinite Telecom
See 3,255 technologies
2
Walmart
Technologies used by the company: 2,828
Walmart Inc. engages in the operation of retail, wholesale, other units, and eCommerce worldwide. The company operates through three segments: Walmart U.S., Walmart International, and Sam's Club. It operates supercenters, supermarkets, hypermarkets, warehouse clubs, cash and carry stores, and discount stores under Walmart and Walmart Neighborhood Market brands; membership-only warehouse clubs; ecommerce websites, such as walmart.com.mx, walmart.ca, flipkart.com, PhonePe and other sites; and mobile commerce applications. The company offers grocery and consumables, including dairy, meat, bakery, deli, produce, dry, chilled or frozen packaged foods, alcoholic and nonalcoholic beverages, floral, snack foods, candy, other grocery items, health and beauty aids, paper goods, laundry and home care, baby care, pet supplies, and other consumable items; fuel, tobacco and other categories. It is also involved in the provision of health and wellness products covering pharmacy, optical and hearing services, and over-the-counter drugs and other medical products; and home and apparel including home improvement, outdoor living, gardening, furniture, apparel, jewelry, tools and power equipment, housewares, toys, seasonal items, mattresses and tire and battery centers. In addition, the company offers consumer electronics and accessories, software, video games, office supplies, appliances, and third-party gift cards. Further, it operates digital payment platforms; and offers financial services and related products, including money transfers, bill payments, money orders, check cashing, prepaid access, co-branded credit cards, installment lending, and earned wage access. Additionally, the company markets lines of merchandise under private brands, including Allswell, Athletic Works, Equate, and Free Assembly. Read more
Additional technologies used by Walmart:
BlackBerry Enterprise Server
Cinema 4D
Apache Log4j
See 2,828 technologies
3
Microsoft
Technologies used by the company: 3,474
Microsoft Corp. engages in the provision of developing and marketing software and hardware services. Its products include operating systems for computing devices, servers, phones and intelligent devices. It also offers server applications for distrib uted computing environments, productivity applications, business solution applications, desktop and server management tools, software development tools, video games, and online advertising. It operates through the following segments: Productivity and Business Processes, Intelligent Cloud, and More Personal Computing. The Productivity and Business Processes segment consists of products and cloud services in portfolio of productivity, communication, and information services. It comprises of office commercial, office consumer, and Microsoft Enterprise Services dynamics business solutions. The Intelligent Cloud segment offers hybrid server products and cloud services. It comprises of server products and cloud services and enterprise services. The More Personal Computing segment comprises of windows, devices, gaming, and search advertising. The company was founded by William Henry Gates III in 1975 and is headquartered in Redmond, WA. Read more
Additional technologies used by Microsoft:
VirtualBox
Flippingbook
Apache Log4j
See 3,474 technologies
4
Bank of America
Technologies used by the company: 3,296
Bank of America, founded in 1874 and headquartered in Charlotte, is a global financial institution providing comprehensive banking and financial services. The company operates through four key segments: Consumer Banking, Global Wealth & Investment Ma nagement, Global Banking, and Global Markets. Bank of America offers a wide range of products including savings and checking accounts, investment options, credit and debit cards, mortgages, loans, wealth management solutions, commercial lending, treasury services, and capital markets products. The company serves diverse clients including individual consumers, small and middle-market businesses, institutional investors, large corporations, and governments worldwide. Bank of America delivers its services through financial centers, ATMs, digital platforms, and mobile applications, combining traditional banking with modern technology solutions. Read more
Additional technologies used by Bank of America:
Apache Log4j
Ab Initio
ion interactive
See 3,296 technologies
5
Target
Technologies used by the company: 2,219
Target Corporation is a major American retail department store chain founded in 1902 and headquartered in Minneapolis. The company operates nearly 1,800 stores across the United States and maintains a robust e-commerce presence through Target.com. Ta rget offers a wide range of merchandise including clothing, home goods, electronics, groceries, and other consumer products. The company combines physical retail locations with digital shopping capabilities, including mobile applications, to provide customers with a comprehensive shopping experience. Target has a longstanding commitment to community support, having established its charitable giving program in 1946. Read more
Additional technologies used by Target:
Asc
Ripple
Dell EMC SAN
See 2,219 technologies
6
Albertsons Companies
Technologies used by the company: 964
Albertsons Companies is one of the largest food and drug retailers in the United States, operating a diverse portfolio of well-known supermarket banners across the country. The company operates stores under various regional and national brands includ ing Albertsons, Safeway, Vons, Jewel-Osco, Shaw's, Acme, Tom Thumb, Randalls, United Supermarkets, Pavilions, Star Market, Haggen, Carrs, Kings Food Markets, and Balducci's Food Lovers Market, among others. Albertsons Companies provides customers with a comprehensive shopping experience offering fresh produce, meat and seafood, bakery and deli products, grocery items, health and beauty care products, general merchandise, and pharmacy services. The company has invested significantly in digital transformation and omnichannel capabilities, including online shopping, home delivery, curbside pickup, and mobile applications to meet evolving customer preferences and enhance convenience. Albertsons Companies operates its own distribution centers, manufacturing facilities, and private label brands, allowing for greater control over supply chain efficiency and product quality. The company is committed to community engagement, sustainability initiatives, and health and wellness programs, supporting local communities through charitable giving and promoting healthier lifestyles through nutrition education and wellness services. Headquartered in Boise, Idaho, Albertsons Companies serves millions of customers weekly through its extensive network of stores, combining local market expertise with national scale to deliver value, quality, and service across diverse geographic markets. Read more
Additional technologies used by Albertsons Companies:
Oracle HCM Cloud
Maximo Developer
SAP Fieldglass
See 964 technologies
7
USPS
Technologies used by the company: 863
The United States Postal Service (USPS) is an independent agency of the federal government providing postal services across the U.S. Founded in 1775, USPS delivers mail and packages, offering domestic and international shipping services, playing a cr itical role in American communication. Read more
Additional technologies used by USPS:
BlackBerry Enterprise Server
Apache Log4j
Adobe Fireworks
See 863 technologies
8
Deloitte
Technologies used by the company: 4,049
Deloitte, provides audit, consulting, tax, and advisory services to brands worldwide. Deloitte serves many Fortune 500 as well as private and middle market companies. Deloitte is headquartered in London, United Kingdom.
Additional technologies used by Deloitte:
Gainsight
CruiseControl
HiredScore
See 4,049 technologies
9
IBM
Technologies used by the company: 5,017
IBM is a global technology and consulting company that helps organizations transform through innovation, software, and advanced infrastructure. The company works closely with clients, partners, and ecosystems to solve complex challenges and create im pactful solutions. With deep expertise in computing, data, and enterprise services, IBM focuses on turning ideas into practical technologies that help businesses and societies operate more effectively. Read more
Additional technologies used by IBM:
Apache Log4j
Logback
Exact MAX
See 5,017 technologies
10
Publix
Technologies used by the company: 1,017
Publix Super Markets, Inc. is an American supermarket chain headquartered in Lakeland, Florida, founded in 1930 by George W. Jenkins. As the largest employee-owned company in the United States, Publix operates as a private corporation wholly owned by its present and past employees and members of the Jenkins family. The company operates supermarkets primarily across the southeastern United States, with a strong concentration in Florida as well as locations in Alabama, Georgia, South Carolina, Tennessee, North Carolina, and Virginia. Publix offers a comprehensive selection of products and services across its store locations, including fresh produce, dairy, bakery, deli, meat, seafood, health and beauty care, general merchandise, and pharmacy services. In-store pharmacies are available in the vast majority of Publix locations, reflecting the company's commitment to serving the full range of its customers' everyday needs. The company also operates liquor store locations in select markets. With a mission to be the premier quality food retailer in the world, Publix has built a long-standing reputation for exceptional customer service, product quality, and a strong workplace culture. The company places a significant emphasis on community involvement, sustainability, and employee development, and has consistently earned recognition as one of the top supermarkets for customer satisfaction as well as one of the best companies to work for in the United States. Publix's employee-ownership model fosters a deeply customer-centric culture, with associates serving as both the company's workforce and its largest collective group of shareholders. Read more
Additional technologies used by Publix:
IBM Information Management System (IMS)
MapInfo
BlackBerry Enterprise Server
See 1,017 technologies

Best Alternatives for Coq

Usage statistics of alternative technologies to Coq, based on Zoominfo's comprehensive dataset

CSS PHP HTML GraphQL Lua Coq

Additional top technologies lists

See additional lists of companies utilizing top technologies, ranked by revenue, size, and funding.

Frequently Asked Questions Regarding Coq

What is the Coq technology?

How many companies added the Coq technology in the last month?

1 companies added Coq to their tech stack in the last month.

What is Coq technology’s market share?

Coq market share is <0.01% out of all the technologies in the same category.

What companies are using Coq?

From the data gathered in Zoominfo, Amazon, Walmart, Microsoft, Bank of America, Target, are using the Coq technology. You can see the full list in the above results table.

How many companies are using Coq?

93 companies are using Coq.

Which industries do companies commonly use Coq for their needs?

Companies in Business Services, Hospitality, Manufacturing commonly use Coq.

What are the best alternatives for Coq?

According to Zoominfo’s data CSS, PHP, HTML, GraphQL, Lua, are competitors of Coq. For more information,

See more information about Coq

Get Started with ZoomInfo

Sign Up for Free

Get started for free! No credit card needed. Enjoy up to 25 free contacts each month at no cost.

Supercharge Your Prospecting

Search ZoomInfo's database of 106M+ companies and 140M+ professionals to find your next lead.

Grow Your Business

Reveal both personal and business contact details, including emails and phone numbers, and close your most valuable buyers.

Most Searched Industries

Construction Law Firms & Legal Services Business Services Finance Manufacturing Agriculture Software Accounting & Accounting Services Retail Healthcare Energy, Utilities & Waste Treatment Telecommunications Transportation Real Estate

People Search Company Search

Filter Companies By

Industry

Location

Type

Size

You're signed out.