Search for blocks/addresses/...
Proofgold Proposition
5
∈
9
type
prop
theory
HotG
name
In_5_9
proof
PUfQZ..
Megalodon
In_5_9
proofgold address
TMWDN..
In_5_9
creator
4898
Pr6Pc..
/
4fb11..
owner
4898
Pr6Pc..
/
4fb11..
term root
318ef..