Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 x2 . and (and (and (x0int) (x1int)) (x2int)) (∀ x3 : ο . (∀ x4 . and (x4int) (∀ x5 : ο . (∀ x6 . and (x6int) (add_SNo (mul_SNo x4 x0) (mul_SNo x6 x1) = x2)x5)x5)x3)x3)
as obj
46c13..int_lin_comb
as prop
-
theory
HotG
stx
e9e67..
address
TMR99..int_lin_comb