text-summarization-for-automated-therom-proving- mayhammad277 · COMPLETED
Text summarizatiom src language( Latex/English) to target language(Mizar /HOL LIGHT/isabella)
github.com/mayhammad277/text-summarization-for-automated-therom-proving- · ★ 1 · Forks 0 · Size 10 KB
SUMMARY
Technologies 1
Scored 1
Observed 1
Practices 6
Evidence 1
Skips 0
COVERAGE
Analyzed 6 files · 4 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2018-12-12
Last commit 2018-12-12
Active months 1
Commits 4