rocq_copy Anionix · COMPLETED
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.
github.com/Anionix/rocq_copy · ★ 0 · Forks 0 · Size 208.9 MB
SUMMARY
Technologies 11
Scored 11
Observed 11
Practices 6
Evidence 11
Skips 0
COVERAGE
Analyzed 5596 files · 48265 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
2 files · PRODUCTION
C++ LANGUAGE Depth 70
6 files · PRODUCTION
Shell LANGUAGE Depth 70
295 files · PRODUCTION
C LANGUAGE Depth 70
9 files · PRODUCTION
XML LANGUAGE Depth 70
1 files · PRODUCTION
JavaScript LANGUAGE Depth 70
3 files · PRODUCTION
Markdown LANGUAGE Depth 70
36 files · PRODUCTION
YAML LANGUAGE Depth 70
12 files · PRODUCTION
Python LANGUAGE Depth 70
25 files · PRODUCTION
Redis CACHE Depth 88
12 files · CONFIGURATION
TypeScript LANGUAGE Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 1999-08-16
Last commit 2026-05-06
Active months 321
Commits 48265