Search for blocks/addresses/...

Proofgold Proposition

explicit_Nats 48ef8.. 4a7ef.. 4ae4a..
type
prop
theory
HoTg
name
-
proof
PUUqb..
Megalodon
-
proofgold address
TMSr4..
creator
3760 PrGxv../bc617..
owner
3760 PrGxv../bc617..
term root
0377e..