Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
x1
∈
x0
⟶
∀ x2 .
x2
∈
x0
⟶
struct_e_e
(
pack_e_e
x0
x1
x2
)
type
prop
theory
HotG
name
pack_struct_e_e_I
proof
PUZHF..
Megalodon
-
proofgold address
TMUcR..
creator
4914
Pr6Pc..
/
5dc81..
owner
4914
Pr6Pc..
/
5dc81..
term root
41870..