Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 : ι → ι → ι . (∀ x2 x3 . x0 x2x0 x3x0 (x1 x2 x3))(∀ x2 x3 x4 . x0 x2x0 x3x0 x4x1 x2 (x1 x3 x4) = x1 (x1 x2 x3) x4)(∀ x2 x3 . x0 x2x0 x3x1 x2 x3 = x1 x3 x2)∀ x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 . x0 x2x0 x3x0 x4x0 x5x0 x6x0 x7x0 x8x0 x9x0 x10x0 x11x0 x12x0 x13x0 x14x0 x15x0 x16x0 x17x1 x2 (x1 x3 (x1 x4 (x1 x5 (x1 x6 (x1 x7 (x1 x8 (x1 x9 (x1 x10 (x1 x11 (x1 x12 (x1 x13 (x1 x14 (x1 x15 (x1 x16 x17)))))))))))))) = x1 x4 (x1 x5 (x1 x6 (x1 x7 (x1 x8 (x1 x9 (x1 x10 (x1 x11 (x1 x12 (x1 x13 (x1 x14 (x1 x15 (x1 x16 (x1 x2 (x1 x3 x17))))))))))))))
type
prop
theory
HotG
name
-
proof
PUSfE..
Megalodon
-
proofgold address
TMLHb..
creator
24822 Pr5Zc../8ba46..
owner
24822 Pr5Zc../8ba46..
term root
30ae9..