Search for blocks/addresses/...

Proofgold Proposition

u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12 u7 = u6
type
prop
theory
HotG
name
-
proof
PUXqr..
Megalodon
-
proofgold address
TMR9V..
creator
19221 Pr4zB../9c7c5..
owner
19221 Pr4zB../9c7c5..
term root
c0eb4..