https://pypi.org/project/forall/ Recent updates to the Python Package Index for forall en https://pypi.org/project/forall/0.3.1/ A symbolic verifier for typed Python that finds crashes without running your code sf@abilian.com Fri, 07 Aug 2026 11:46:28 GMT https://pypi.org/project/forall/0.2.0/ A symbolic verifier for typed Python that finds crashes without running your code sf@abilian.com Wed, 05 Aug 2026 17:52:50 GMT https://pypi.org/project/forall/0.1.2/ A symbolic verifier for typed Python that finds crashes without running your code sf@abilian.com Thu, 30 Jul 2026 19:08:20 GMT https://pypi.org/project/forall/0.1.1/ A symbolic verifier for typed Python that finds crashes without running your code sf@abilian.com Thu, 30 Jul 2026 10:41:43 GMT https://pypi.org/project/forall/0.1.0/ A symbolic verifier for typed Python that finds crashes without running your code sf@abilian.com Wed, 29 Jul 2026 12:59:57 GMT