Coq クィックリファレンスさっさと書けよ、俺
何というか、もっと時間があれば……。
取り敢えず最近、帰納法と場合分けのページで書きかけだった inversion
とかの説明を書いたのと、自前で inversion
を行うのページを足した。えーと、次どうしよう……。
| 固定リンク
何というか、もっと時間があれば……。
取り敢えず最近、帰納法と場合分けのページで書きかけだった inversion
とかの説明を書いたのと、自前で inversion
を行うのページを足した。えーと、次どうしよう……。
| 固定リンク
コメント