HOL_copy Anionix · COMPLETED
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
github.com/Anionix/HOL_copy · ★ 0 · Forks 0 · Size 133.5 MB
SUMMARY
Technologies 20
Scored 20
Observed 20
Practices 6
Evidence 21
Skips 0
COVERAGE
Analyzed 7422 files · 21925 commits · 0 API calls
TECHNOLOGIES & DEPTH
C++ LANGUAGE Depth 70
27 files · PRODUCTION
C LANGUAGE Depth 70
24 files · PRODUCTION
Rust LANGUAGE Depth 70
2 files · PRODUCTION
Go LANGUAGE Depth 70
2 files · PRODUCTION
JSON LANGUAGE Depth 70
3 files · PRODUCTION
YAML LANGUAGE Depth 70
4 files · PRODUCTION
TypeScript LANGUAGE Depth 70
1 files · PRODUCTION
Dockerfile LANGUAGE Depth 70
4 files · PRODUCTION
Shell LANGUAGE Depth 70
29 files · PRODUCTION
JavaScript LANGUAGE Depth 70
3 files · PRODUCTION
Swift LANGUAGE Depth 70
2 files · PRODUCTION
TOML LANGUAGE Depth 70
4 files · PRODUCTION
Markdown LANGUAGE Depth 70
1708 files · PRODUCTION
Python LANGUAGE Depth 70
7 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
Poetry BUILD_TOOL Depth 80
1 files · CONFIGURATION
Go Modules BUILD_TOOL Depth 80
1 files · CONFIGURATION
Prettier QUALITY Depth 88
10 files · CONFIGURATION
Redis CACHE Depth 88
17 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · observedformatting · observed
ACTIVITY & OWNERSHIP
First commit 1999-04-29
Last commit 2026-05-05
Active months 326
Commits 21925