眠気と戦いながらいろいろと書くブログ2014-10-12から1日間の記事一覧2014-10-12リスト反転関数が単射であることを証明するcoq久々の記事もまたCoqでソフトウェアの基礎ネタです。今回はList_Jにおける練習問題「rev_injective」について。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。