CoqのtacticをOCamlで書いてみたので、同じようなことをしたい人のためにメモ。なお私はOCamlについてはそれほど詳しくないので、そこの正確性については注意が必要。 同じ事をしているtacticがないか探す 同じようなことを考えている人は必ずいるはず。とい…