根据纸质结构自动生成流程图

Question

在一篇长篇论文中，人们通常会在引理、定理、推论等之间形成一个相当复杂的蕴涵网络。

有没有人编写过可以自动生成流程图来显示这些之间的逻辑依赖关系的代码？