isabelle触ろうとしてどっかで挫折した

もちろんある程度はそれで出来るのは知ってるが、ある程度の、粒度が、細かすぎます

もっと雑にサブゴールを宣言したら勝手につないで自動証明してほしい

そういえばもうCoqの書き方わすれた

Mastodon @ Poyo server

Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。