TeXで証明図を書く - Internet Explorer 2.0

TeXで証明図を書く

#TeX #証明図

Natural deduction and sequent proofs

/tosuke/2022-04#6268e6fb1565b3000060d0ac

https://www.ctan.org/pkg/bussproofs

memo:限定算術のBussが開発したらしい．

https://mathweb.ucsd.edu/~sbuss/ResearchWeb/bussproofs/index.html

https://ctan.org/pkg/ebproof

こっちのほうがモダンらしい．