abella 05satyam · COMPLETED
An interactive theorem prover based on lambda-tree syntax
github.com/05satyam/abella · ★ 1 · Forks 0 · Size 4.1 MB
SUMMARY
Technologies 3
Scored 3
Observed 3
Practices 6
Evidence 3
Skips 0
COVERAGE
Analyzed 189 files · 1606 commits · 0 API calls
TECHNOLOGIES & DEPTH
Ruby LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
2 files · PRODUCTION
Redis CACHE Depth 81
20 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2007-01-05
Last commit 2022-02-08
Active months 113
Commits 1606