证明树

来自 tests/golden/test_cases_prooftree.txt ，覆盖 RaTeX 在 golden 渲染测试中使用的 bussproofs 风格 `prooftree` 子集。

由于 KaTeX 不实现 prooftree，参考 PNG 使用 MathJax 的 bussproofs 扩展生成。