Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0u6∀ x1 . x1u6not (In2_lexicographic x0 u3 x1 u1)
type
prop
theory
HotG
name
-
proof
PULCC..
Megalodon
-
proofgold address
TMJmH..
creator
20801 Pr4zB../a7a45..
owner
20801 Pr4zB../a7a45..
term root
8565b..