Coq クィックリファレンスさっさと書けよ、俺

• Twitter / uezato yuya: magicantの人もう頑張ってくれないんでしょうか ...

何というか、もっと時間があれば……。

取り敢えず最近、帰納法と場合分けのページで書きかけだった inversion とかの説明を書いたのと、自前で inversion を行うのページを足した。えーと、次どうしよう……。