Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
SNoCutP
x0
x1
⟶
∀ x2 .
x2
∈
SNoR
(
SNoCut
x0
x1
)
⟶
∃ x3 .
and
(
x3
∈
x1
)
(
SNoLe
x3
x2
)
type
prop
theory
HotG
name
SNoR_SNoCutP_ex
proof
PUewm..
Megalodon
SNoR_SNoCutP_ex
proofgold address
TMMkf..
SNoR_SNoCutP_ex
creator
27779
PrQUS..
/
b99c5..
owner
27779
PrQUS..
/
b99c5..
term root
ca7be..