{"adoption": {"forks": 755, "observed_at": "2026-08-28T04:09:22.334176+00:00", "stars": 5556}, "canonical_url": "https://ross.abutalabs.com/products/rocq", "card": {"archived": false, "artifact_type": "application", "description": "The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.", "domain": ["mathematics", "education", "programming-languages", "compilers"], "enriched": true, "function": ["interpreter", "programming-language", "developer-tools"], "health_score": 100, "homepage": "https://rocq-prover.org", "language": "OCaml", "license": "LGPL-2.1", "license_family": "copyleft", "maturity": "stable", "member_repos": ["rocq-prover/rocq"], "name": "rocq-prover/rocq", "platform": ["windows", "cross-platform"], "pushed_at": "2026-08-26T19:45:47+00:00", "repo": "rocq-prover/rocq", "stars": 5556, "tags": ["proof-assistant", "theorem-proving", "dependent-types", "formal-verification", "coq", "gallina", "machine-checked-proofs", "program-extraction", "algorithms", "linux", "macos"], "topics": ["proof-assistant", "coq", "theorem-proving", "dependent-types"], "urls": [], "use_cases": ["formally verify that programs comply with their specifications", "mechanize mathematical proofs with machine-checked correctness", "write dependently-typed programs and extract them to OCaml or Haskell", "learn type theory and formal methods with Software Foundations", "formalize mathematics at scale with high-level notations", "define custom proof tactics and decision procedures", "verify compiler or protocol correctness in research and industry"], "what_it_is": "The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, providing a formal language (Gallina) for writing mathematical definitions, executable algorithms, and machine-checked proofs. It also serves as a dependently-typed programming language that can extract certified programs to OCaml, Haskell, or Scheme.", "when_to_avoid": ["you need an automated SMT solver rather than interactive proof development", "you want a general-purpose programming language without proof obligations", "you need lightweight runtime verification rather than heavyweight formal proof", "your team has no capacity to learn a steep, tactic-based proof workflow"], "when_to_choose": ["you need machine-checked proofs of mathematical theorems or software correctness", "you want a mature, industrial-strength proof assistant with 40+ years of development", "you need certified program extraction to OCaml, Haskell, or Scheme", "you are teaching or learning formal verification and programming language theory"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/rocq", "repo": "rocq-prover/rocq", "role": "main", "score": 83}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:09:22.334176+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T17:55:39.192665+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e01d0d6794b5c94101064db8dd9ac7751cf8e4827b6a80b1022a0a5af23fa5be", "fetched_at": "2026-08-28T04:09:22.334176+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rocq-prover/rocq"}, {"content_hash": "4569831bdc80b8d063c2ed94c00d20eebc316cf172fb43f6f529cad3cea216dd", "fetched_at": "2026-08-29T08:50:59.201995+00:00", "kind": "homepage", "missing": false, "url": "https://rocq-prover.org"}, {"content_hash": "d19673a292de23734a5084f0afbf247862b87de33ec22be33b0b1c887f181038", "fetched_at": "2026-08-29T08:50:59.211810+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/docs"}, {"content_hash": "19d8a882304953c5456d1d9d22d21daa00ecc9fa0094c98c241ccb93eba5de8c", "fetched_at": "2026-08-29T08:50:59.215713+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/install"}, {"content_hash": "27d6a148b972ce4b26f01c8a0bbb07cb989e926b8e1c723a1cb1296adf169042", "fetched_at": "2026-08-29T08:50:59.217962+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/about"}, {"content_hash": "0a4ac30b5af0c1c7037afef957e6329f625896a0e5925e20248b40d9b4393359", "fetched_at": "2026-08-29T08:50:59.213921+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/changelog"}, {"content_hash": "6048c8d9a5a8ad8591c57efacd893cba809180d59b597affc8afb2662d7c8bf3", "fetched_at": "2026-08-29T08:50:59.219774+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/9.2.0"}, {"content_hash": "fdc3bad65dfdb306881b9241035faf5bc88b96c892aeaf51123b75ab0ca59339", "fetched_at": "2026-08-29T08:50:59.221411+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2026.07.0"}, {"content_hash": "600ad7e3cfab78d35ad381f809b8de00468f0f128fd1fe6ebb598709bb7dca6b", "fetched_at": "2026-08-29T08:50:59.222927+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases/2025.08.3"}, {"content_hash": "2151ee31e561e79d2f9fdc673d3e2f101004cecd96d6b3594b98c5e047c43cbb", "fetched_at": "2026-08-29T08:50:59.224296+00:00", "kind": "site_page", "missing": false, "url": "https://rocq-prover.org/releases"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 53}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 5676, "days_push": 7, "days_rel": 159, "gap_med": 94.0, "n_releases_24m": 7}, "score": 83, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}