Search for blocks/addresses/...

Proofgold Proposition

equip 5 (setsum 1 (prim4 2))
type
prop
theory
HotG
name
-
proof
PUNUU..
Megalodon
-
proofgold address
TMcQX..
creator
14937 Pr4zB../4ca86..
owner
14937 Pr4zB../4ca86..
term root
df367..