Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
SNo
x0
⟶
mul_SNo
4
x0
=
add_SNo
x0
(
add_SNo
x0
(
add_SNo
x0
x0
)
)
type
prop
theory
HotG
name
-
proof
PUgbS..
Megalodon
-
proofgold address
TMJiR..
creator
28273
Pr5Zc..
/
79871..
owner
28273
Pr5Zc..
/
79871..
term root
74d7a..