Search for blocks/addresses/...

Proofgold Proposition

OSNo_proj0 Octonion_i3 = 0
type
prop
theory
HotG
name
OSNo_p0_i3
proof
PUdK2..
Megalodon
OSNo_p0_i3
proofgold address
TMSw4..OSNo_p0_i3
creator
28513 PrQUS../9ddfa..
owner
28513 PrQUS../9ddfa..
term root
784dc..