Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . x1x2x2x0x1prim3 x0
type
prop
theory
HotG
name
UnionI
proof
PUL8Q..
Megalodon
UnionI
proofgold address
TMHDQ..UnionI
creator
4882 Pr6Pc../f45da..
owner
4882 Pr6Pc../f45da..
term root
51b54..