2013-10-10から1日間の記事一覧
新しいほう、リストの表記法が変ってた。 [1,2,3] から [1;2;3]に ほかに、rememberタクティックは廃止? destruct (beq_nat n 5) eqn:Heq5 みたいな。destructでまとめて書けるようになっているっぽい。でしかし、このへんのことちゃんと習いたいな。ProofC…
新しいほう、リストの表記法が変ってた。 [1,2,3] から [1;2;3]に ほかに、rememberタクティックは廃止? destruct (beq_nat n 5) eqn:Heq5 みたいな。destructでまとめて書けるようになっているっぽい。でしかし、このへんのことちゃんと習いたいな。ProofC…