fetburner.core

コアダンプ

2013-09-06から1日間の記事一覧

EvalML1における評価の一意性の証明

プログラミング言語の基礎概念 Coq

Coqの練習にプログラミング言語の基礎概念に出てくる、EvalML1における評価の一意性について証明したので公開したいと思います。