Muller-Schuppの定理のpdf，ひとまず書き換え系と形式言語理論についての前提知識をまとめた第I部(38ページ)が書き上がったので，見直して問題がなければ今夜あたりに上げようかなと思っています
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
