Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
u8
⟶
∀ x1 .
x1
∈
u8
⟶
u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12
x0
=
u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12
x1
⟶
x0
=
x1
type
prop
theory
HotG
name
-
proof
PULzF..
Megalodon
-
proofgold address
TMVoB..
creator
19311
Pr4zB..
/
6db19..
owner
19311
Pr4zB..
/
6db19..
term root
5e4c2..