From Proof to Publish: Your First PyPI Package