Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . atleastp 3 x0∀ x1 : ο . (∀ x2 . x2x0∀ x3 . x3x0∀ x4 . x4x0(x2 = x3∀ x5 : ο . x5)(x2 = x4∀ x5 : ο . x5)(x3 = x4∀ x5 : ο . x5)x1)x1
type
prop
theory
HotG
name
-
proof
PUNUU..
Megalodon
-
proofgold address
TMY3Z..
creator
14937 Pr4zB../20d1d..
owner
14937 Pr4zB../20d1d..
term root
95c6c..