Search for blocks/addresses/...
Proofgold Address
address
PUMyjQMYA9MCmDYwe2pL3d5B9aQAPeqxTNU
total
0
mg
-
conjpub
-
current assets
15609..
/
4c417..
bday:
2101
doc published by
PrGxv..
Param
bb8e6..
:
(
ι
→
ι
→
ο
) →
ο
Param
d478c..
:
(
ι
→
ι
→
ο
) →
(
ι
→
ι
→
ο
) →
ι
→
ο
Param
32d20..
:
ι
Param
6fe8d..
:
(
ι
→
ι
→
ο
) →
(
ι
→
ι
→
ο
) →
(
ι
→
ι
→
ο
) →
ι
→
ι
→
ο
Param
5c39b..
:
ι
→
ι
→
ο
Param
6915e..
:
ι
Known
9df63..
:
∀ x0 x1 :
ι →
ι → ο
.
∀ x2 .
6fe8d..
x0
x1
5c39b..
x2
6915e..
⟶
d478c..
x0
x1
x2
Known
7d6ad..
:
∀ x0 x1 x2 :
ι →
ι → ο
.
6fe8d..
x0
x1
x2
32d20..
6915e..
Theorem
a1ac9..
:
∀ x0 x1 :
ι →
ι → ο
.
bb8e6..
x0
⟶
bb8e6..
x1
⟶
d478c..
x0
x1
32d20..
(proof)
previous assets