Search for blocks/addresses/...
Proofgold Proposition
∀ x0 : ο .
∀ x1 x2 .
x0
⟶
If_i
x0
x1
x2
=
x1
type
prop
theory
HF
name
-
proof
PUZ3G..
Megalodon
If_i_1
proofgold address
TMSJY..
If_i_1
creator
1339
PrGxv..
/
22cf6..
owner
1339
PrGxv..
/
22cf6..
term root
6f44f..