Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
ordinal
x0
⟶
∀ x1 x2 x3 :
ι → ο
.
PNoLt_
x0
x1
x2
⟶
PNoLt_
x0
x2
x3
⟶
PNoLt_
x0
x1
x3
type
prop
theory
HoTg
name
PNoLt_tra_
proof
PUdWB..
Megalodon
-
proofgold address
TMVZi..
creator
2791
PrGxv..
/
b95a8..
owner
2791
PrGxv..
/
b95a8..
term root
3d7d9..