{"full_name":"rocq-prover/rocq","owner":"rocq-prover","name":"rocq","url":"https://github.com/rocq-prover/rocq","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.","homepage":"https://rocq-prover.org","topics":[],"language":"OCaml","license":null,"avatar":null,"created_at":"2011-02-17T05:49:37Z","pushed_at":"2026-11-10T07:30:06Z","metrics":{"stars":5665,"forks":771,"watchers":null,"issues":null,"prs":null,"releases":null,"issues_open":null,"issues_closed":null,"prs_open":null,"prs_closed":null,"prs_merged":null,"discussions":null},"growth":{},"history":{"dates":["2026-11-10"],"stars":[5665],"forks":[771],"watchers":[null],"issues_open":[null],"prs_open":[null]},"boards":{},"same_owner":[],"issues":[],"discussions":[],"latest_release":null,"readme":false,"readme_zh":false,"news":[],"stale":false,"snapshot_at":"2026-11-10T09:35:25Z","history_start":"2026-09-06"}