formal-conjectures anxkhn · COMPLETED
A collection of formalized statements of conjectures in Lean.
github.com/anxkhn/formal-conjectures · ★ 0 · Forks 0 · Size 15.0 MB
SUMMARY
Technologies 12
Scored 12
Observed 12
Practices 6
Evidence 12
Skips 0
COVERAGE
Analyzed 1745 files · 3007 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
2 files · PRODUCTION
JavaScript LANGUAGE Depth 70
8 files · PRODUCTION
JSON LANGUAGE Depth 70
7 files · PRODUCTION
TOML LANGUAGE Depth 70
3 files · PRODUCTION
Markdown LANGUAGE Depth 70
16 files · PRODUCTION
YAML LANGUAGE Depth 70
11 files · PRODUCTION
Python LANGUAGE Depth 70
11 files · PRODUCTION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
NumPy LIBRARY Depth 58
1 files · PRODUCTION
Redis CACHE Depth 84
5 files · CONFIGURATION
TypeScript LANGUAGE Depth 62
2 files · PRODUCTION, TEST
pandas LIBRARY Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2025-02-13
Last commit 2026-10-11
Active months 21
Commits 3007