Kleene-s-Theorem jozef-javorsky-dodo · COMPLETED
Kleene's-Theorem-Proof
github.com/jozef-javorsky-dodo/Kleene-s-Theorem · ★ 1 · Forks 0 · Size 587 KB
SUMMARY
Technologies 1
Scored 1
Observed 1
Practices 6
Evidence 1
Skips 0
COVERAGE
Analyzed 4 files · 25 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2021-01-02
Last commit 2021-01-22
Active months 1
Commits 25