Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0u6not (5fab1.. x0 u1 x0 u1)
type
prop
theory
HotG
name
-
proof
PUeTM..
Megalodon
-
proofgold address
TMUMh..
creator
20800 Pr4zB../71cea..
owner
20800 Pr4zB../71cea..
term root
d8b35..