Search for blocks/addresses/...
Proofgold Proposition
2
∈
6
type
prop
theory
HotG
name
In_2_6
proof
PUfQZ..
Megalodon
In_2_6
proofgold address
TMGRe..
In_2_6
creator
4898
Pr6Pc..
/
5b313..
owner
4898
Pr6Pc..
/
5b313..
term root
a8317..