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.