Search for blocks/addresses/...
Proofgold Proposition
SNo
(
eps_
1
)
type
prop
theory
HotG
name
SNo_eps_1
proof
PUfRQ..
Megalodon
SNo_eps_1
proofgold address
TMHYU..
SNo_eps_1
creator
6761
Pr6Pc..
/
262cb..
owner
6761
Pr6Pc..
/
262cb..
term root
17c27..