Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
nat_p
x0
⟶
∀ x1 .
x1
∈
x0
⟶
nat_p
x1
type
prop
theory
HotG
name
nat_p_trans
proof
PUL8Q..
Megalodon
nat_p_trans
proofgold address
TMMK6..
nat_p_trans
creator
4882
Pr6Pc..
/
cbee0..
owner
4882
Pr6Pc..
/
cbee0..
term root
e8844..