Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0u6not (In2_lexicographic u5 x0 u2 x0)
type
prop
theory
HotG
name
-
proof
PULCC..
Megalodon
-
proofgold address
TMK2Q..
creator
20801 Pr4zB../4d5dd..
owner
20801 Pr4zB../4d5dd..
term root
4a7a7..