GitHub repository: th-b/paper_visualizer
Primary language: Python
Created: 2019-04-22T18:16:09Z
Description: Visualize dependencies among theorems and lemmas of a LaTeX document