• TS inline interface
• Bellman-Ford算法证明
• 关于数学证明的几个概念辨析