PyPI recent updates for stile-verifier https://pypi.org/project/stile-verifier/ Recent updates to the Python Package Index for stile-verifier en 0.1.4 https://pypi.org/project/stile-verifier/0.1.4/ A type system for numerical programs: write a spec, get a structural proof your code computes it. krassovskysasha@gmail.com Sun, 31 May 2026 05:57:23 GMT 0.1.3 https://pypi.org/project/stile-verifier/0.1.3/ A type system for numerical programs: write a spec, get a structural proof your code computes it. krassovskysasha@gmail.com Sun, 24 May 2026 17:14:15 GMT 0.1.2 https://pypi.org/project/stile-verifier/0.1.2/ A type system for numerical programs: write a spec, get a structural proof your code computes it. krassovskysasha@gmail.com Wed, 20 May 2026 07:23:26 GMT 0.1.1 https://pypi.org/project/stile-verifier/0.1.1/ A type system for numerical programs: write a spec, get a structural proof your code computes it. krassovskysasha@gmail.com Mon, 18 May 2026 05:46:34 GMT 0.1.0 https://pypi.org/project/stile-verifier/0.1.0/ A type system for numerical programs: write a spec, get a structural proof your code computes it. krassovskysasha@gmail.com Mon, 18 May 2026 05:25:09 GMT