Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
nat_p
x0
⟶
x0
∈
int
type
prop
theory
HotG
name
nat_p_int
proof
PULfh..
Megalodon
nat_p_int
proofgold address
TMYq8..
nat_p_int
creator
16612
PrGxv..
/
7c161..
owner
16612
PrGxv..
/
7c161..
term root
2292e..