Search for blocks/addresses/...

Proofgold Proposition

OSNo_proj1 Octonion_i0 = 1
type
prop
theory
HotG
name
OSNo_p1_i0
proof
PUdK2..
Megalodon
OSNo_p1_i0
proofgold address
TMQAC..OSNo_p1_i0
creator
28513 PrQUS../daa38..
owner
28513 PrQUS../daa38..
term root
6bb51..