別にcoqでは探してないよ

だからそういう話じゃなくて、
趣旨は1年前の経緯だのはどうでもいいから
現状でおかしいから変える依頼をするというスタンスでいいんではないか？
ということだ

この話しはこれ以上かかわっても生産的なことはひとつもなくて時間の無駄だから
後はまかせた