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

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
17181920212223
24252627282930
31      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 16th, 2025 06:34 pm
Powered by Dreamwidth Studios