Follow

健全性定理の証明を全部の推論規則についてちゃんと書いたら似たような文字列がずらずらと並ぶ味気ない証明になってしまったけど,これはこういうものと割り切って行間を滅ぼす方を優先することにしよう

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.