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

September 2025

S M T W T F S
 1 23456
78910111213
14151617181920
21222324252627
282930    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 6th, 2025 03:25 pm
Powered by Dreamwidth Studios