Canonical Snapcraft

Menu

Snap Store
About Snapcraft
Learn
- Blog
- Build
- Docs
- Tutorials
IoT
Forum

My account
Sign in

Coq Development Team

(coq-team)

Coq Development Team has published 1 snap

Coq Interactive Theorem Prover

Coq and its Platform

© 2025 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.
Powered by Charmed Kubernetes

Join the forum, contribute to or report problems with, snapd, Snapcraft, or this site.

Share on Twitter
Share on Facebook
Share on YouTube

Terms of Service
Data privacy
Manage your tracker settings
Service status
Other functions
Contact us

Contact us