Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nIn x0 x1In x0 x1False
type
prop
theory
HF
name
-
proof
PUh9N..
Megalodon
nIn_E2
proofgold address
TMV7c..nIn_E2
creator
1168 PrGxv../c1f16..
owner
1168 PrGxv../c1f16..
term root
83697..