Search for blocks/addresses/...
Proofgold Proposition
u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12
u6
=
u4
type
prop
theory
HotG
name
-
proof
PUXqr..
Megalodon
-
proofgold address
TMWBj..
creator
19221
Pr4zB..
/
1c6db..
owner
19221
Pr4zB..
/
1c6db..
term root
8a85d..