Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . (∀ x2 . x2x0∀ x3 . x3x0x1 x2 x3x0)∀ x2 : ι → ι → ι . (∀ x3 . x3x0∀ x4 . x4x0x2 x3 x4x0)∀ x3 : ι → ι . (∀ x4 . x4x0x3 x4x0)struct_b_b_u (pack_b_b_u x0 x1 x2 x3)
type
prop
theory
HotG
name
pack_struct_b_b_u_I
proof
PUcCR..
Megalodon
-
proofgold address
TMWXb..
creator
4923 Pr6Pc../fc84e..
owner
4923 Pr6Pc../fc84e..
term root
44dd1..