axiom-lean-engine MorkMindy74 · COMPLETED
Lean evaluation and metaprogramming utilities for provers.
github.com/MorkMindy74/axiom-lean-engine · ★ 0 · Forks 0 · Size 857 KB
SUMMARY
Technologies 8
Scored 8
Observed 8
Practices 6
Evidence 9
Skips 0
COVERAGE
Analyzed 57 files · 1 commits · 0 API calls
TECHNOLOGIES & DEPTH
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
23 files · PRODUCTION
YAML LANGUAGE Depth 70
6 files · PRODUCTION
Python LANGUAGE Depth 70
14 files · PRODUCTION
uv BUILD_TOOL Depth 80
1 files · CONFIGURATION
Poetry BUILD_TOOL Depth 80
1 files · CONFIGURATION
Requests LIBRARY Depth 58
1 files · PRODUCTION
pytest TESTING Depth 43
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · observedformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-02-22
Last commit 2026-02-22
Active months 1
Commits 1