« 無題 | トップページ | Yash 2 その 201 »

2010年11月27日 (土)

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

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

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

|

« 無題 | トップページ | Yash 2 その 201 »

コメント

コメントを書く



(ウェブ上には掲載しません)




トラックバック


この記事へのトラックバック一覧です: Coq クィックリファレンスさっさと書けよ、俺:

« 無題 | トップページ | Yash 2 その 201 »