Coq Platform

{
  "alternatives": [],
  "artifacts": [
    {
      "app": [
        "Coq-Platform~8.20~2025.01.app"
      ],
      "target": "/Applications/Coq-Platform~8.20~2025.01.app"
    },
    {
      "zap": [
        {
          "trash": [
            "~/.config/coq",
            "~/Library/Application Support/coq",
            "~/Library/Saved Application State/fr.inria.coq.coqide.savedState"
          ]
        }
      ]
    }
  ],
  "auto_updates": null,
  "categories": [],
  "deprecated": 0,
  "deprecation_reason": null,
  "desc": "Formal proof management system",
  "disable_reason": null,
  "disabled": 0,
  "display_name": "Coq Platform",
  "enrichment_fetched_at": "2026-06-20T22:41:46+00:00",
  "first_seen": "2026-06-20T00:47:34+00:00",
  "full_token": "coq-platform",
  "github_default_branch": null,
  "github_last_commit_at": null,
  "github_readme_excerpt": null,
  "github_repo": null,
  "github_stars": null,
  "github_topics": [],
  "homepage": "https://rocq-prover.org/",
  "homepage_og_description": "Rocq is a general-purpose, industrial-strength interactive theorem prover.",
  "homepage_og_image": null,
  "homepage_title": "Welcome to a World of Rocq",
  "installs_30d": 15,
  "installs_365d": 227,
  "installs_90d": 40,
  "last_seen": "2026-06-20T00:47:34+00:00",
  "llm_generated_at": null,
  "llm_model": null,
  "names": [
    "Coq Platform"
  ],
  "one_liner": null,
  "rank_30d": 3504,
  "rank_365d": 3127,
  "rank_90d": 3677,
  "raw_hash": "c4941e44ce4a7874",
  "ruby_source_path": "Casks/c/coq-platform.rb",
  "tap": "homebrew/cask",
  "token": "coq-platform",
  "version": "2025.01.0,8.20.2025.01",
  "why_use_this": null
}