As you may know a few days ago I asked you guys to prove (-a) × (-a) = a × a in as few steps as possible and it seems to have been more of a success than I had ever imagined. We've had a lot of fun and generated some really small proofs!
What you may not know is that I asked another proof-golf question about a year ago. The first question had considerable flaws which I worked to improve for the second, which I think really paid off.
I want to take this knowledge that I have gained and share it with people who are interested in asking about proof-golf. So what tips do we have for writing proof-golf questions? This will start as a comparison between the two existing questions, but as we explore the tag we can of course branch out. I know based on vote counts that some users are critical of my second question so I would also love to see what they didn't like about it or what they would do if they were asking a similar question.
Tips should be specific to proof-golf and should assume that the question writer is already capable of writing a clear, well specified and on-topic question (i.e. tips to improve clarity are not needed). Tips could range from choosing a topic to choosing axioms to choosing a scoring system.