SATySFiで証明図を書く
SATySFi，証明図
SATySFi の導出木描画ライブラリ satysfi-derive(外部記事)
https://qiita.com/zptmtr/items/5f64e11c13b677b9f665
satysfi-derive