PyPI recent updates for paper-badger https://pypi.org/project/paper-badger/ Recent updates to the Python Package Index for paper-badger en 0.1.3 https://pypi.org/project/paper-badger/0.1.3/ Automate theorem extraction, Lean formalization runs, and verified badge insertion for research papers. thomas@thomasnowak.net Fri, 27 Mar 2026 07:04:24 GMT 0.1.2 https://pypi.org/project/paper-badger/0.1.2/ Automate theorem extraction, Lean formalization runs, and verified badge insertion for research papers. thomas@thomasnowak.net Thu, 26 Mar 2026 21:32:10 GMT