Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNo x0SNo x1∀ x2 . x2SNoR (add_SNo x0 x1)or (∀ x3 : ο . (∀ x4 . and (x4SNoR x0) (SNoLe (add_SNo x4 x1) x2)x3)x3) (∀ x3 : ο . (∀ x4 . and (x4SNoR x1) (SNoLe (add_SNo x0 x4) x2)x3)x3)
type
prop
theory
HotG
name
add_SNo_SNoR_interpolate
proof
PUi5E..
Megalodon
add_SNo_SNoR_interpolate
proofgold address
TMTKJ..add_SNo_SNoR_interpolate
creator
4962 Pr6Pc../8a9e5..
owner
4962 Pr6Pc../8a9e5..
term root
928f7..