Search for blocks/addresses/...
Proofgold Proposition
2
∈
5
type
prop
theory
HotG
name
In_2_5
proof
PUfQZ..
Megalodon
In_2_5
proofgold address
TMKyP..
In_2_5
creator
4898
Pr6Pc..
/
87eb0..
owner
4898
Pr6Pc..
/
87eb0..
term root
ec68b..