Search for blocks/addresses/...

Proofgold Proposition

HSNo_proj1 Complex_i = 0
type
prop
theory
HotG
name
HSNo_p1_i
proof
PUgzA..
Megalodon
HSNo_p1_i
proofgold address
TMMpv..HSNo_p1_i
creator
28464 PrQUS../bcfa7..
owner
28464 PrQUS../bcfa7..
term root
768a8..