Directory/Coq

This listing is unclaimed

Are you the owner of Coq? Claim it to manage your listing, add deals, and track analytics.

Coq

Unclaimed

Interactive theorem prover for formal verification and mathematical proof

Freemium

Visit Coq

Loading preview...

Visit Coq

About Coq

Interactive theorem prover for formal verification and mathematical proof

Rate Coq

How would you rate Coq?

Tap a star to rate · Requires a free account

No ratings yet. Be the first to rate Coq!

+ Write a review — requires free account

Frequently Asked Questions

Is Coq free?

Coq has a free tier. Paid plans are available for advanced features.

Comments

Share your experience with Coq — comments are moderated before publishing.

Join the conversation with a free account.

Disclaimer: All product names, logos, and trademarks are the property of Coq. ListmyAI is an independent directory and is not affiliated with, endorsed by, or sponsored by Coq. Information is for general informational purposes only and may not reflect the latest changes to pricing or features.This listing was auto-compiled from public sources and has not yet been claimed by the tool owner.