RT @t33f: 人類がいなくなった後の世界で coqtop が誰に向けるわけでもなくずっと 1 subgoal ============================ True って表示しつづけてるとこをなぜか昼に想像して，なんだかおかしかった