論理学の話題なのに「たぶん」とか「と思います」とかしか言えないの草。草だけど辛い
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
