juan_gandhi: (VP)
Coq. Теоремы. Затрахался. Идет как зуб мудрости. Каждая. В этой главе еще 300 с лишним строк примеров.

coq

Apr. 29th, 2016 09:35 am
juan_gandhi: (VP)
Took me some time to prove
Theorem distr_rev : forall l1 l2 : natlist,
  rev (l1 ++ l2) = (rev l2) ++ (rev l1).


But I did.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
19202122232425
262728293031 

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 19th, 2025 01:47 pm
Powered by Dreamwidth Studios