Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 . ∀ x4 : ι → ο . x4 x0x4 x1x4 x2x4 x3∀ x5 . x5SetAdjoin (SetAdjoin (UPair x0 x1) x2) x3x4 x5
type
prop
theory
HotG
name
-
proof
PUbqv..
Megalodon
-
proofgold address
TMU7a..
creator
22292 Pr4zB../1e1a3..
owner
22292 Pr4zB../1e1a3..
term root
cb75c..