TsadeEngine t3tra-dev · COMPLETED
直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン
github.com/t3tra-dev/TsadeEngine · ★ 19 · Forks 0 · Size 105 KB
SUMMARY
Technologies 4
Scored 4
Observed 4
Practices 6
Evidence 5
Skips 0
COVERAGE
Analyzed 27 files · 7 commits · 0 API calls
TECHNOLOGIES & DEPTH
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
2 files · PRODUCTION
Rust LANGUAGE Depth 70
22 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-02-17
Last commit 2026-03-11
Active months 2
Commits 7