Search for blocks/addresses/...

Proofgold Proposition

1complex
type
prop
theory
HotG
name
complex_1
proof
PURry..
Megalodon
complex_1
proofgold address
TMN5N..complex_1
creator
28463 PrQUS../c6a88..
owner
28463 PrQUS../c6a88..
term root
5b4c7..