Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
HSNo
x0
⟶
HSNo
x1
⟶
HSNo_proj0
x0
=
HSNo_proj0
x1
⟶
HSNo_proj1
x0
=
HSNo_proj1
x1
⟶
x0
=
x1
type
prop
theory
HotG
name
HSNo_proj0proj1_split
proof
PUgzA..
Megalodon
HSNo_proj0proj1_split
proofgold address
TMd43..
HSNo_proj0proj1_split
creator
28464
PrQUS..
/
6d309..
owner
28464
PrQUS..
/
6d309..
term root
878bb..