Search for blocks/addresses/...
Proofgold Proposition
6
∈
7
type
prop
theory
HotG
name
In_6_7
proof
PUfQZ..
Megalodon
In_6_7
proofgold address
TMa39..
In_6_7
creator
4898
Pr6Pc..
/
19dc1..
owner
4898
Pr6Pc..
/
19dc1..
term root
cb4ca..