Geeks
Zeta611
/
DeTeXtive
Primary Language
TeX
DeTeXtive GitHub
Markdown
Readme
0
Issues
5
Stargazers
2
Watchers
DeTeXtive
DeTeXtive is a TeX mode analyzer in an abstract interpretation style.