https://pypi.org/project/mathema/ Recent updates to the Python Package Index for mathema en https://pypi.org/project/mathema/0.6.0/ A Python verification engine for Claim-Driven Development: state explicit mathematical claims about code and adjudicate them against symbolic and empirical evidence. contact@tetrion.co Thu, 24 Sep 2026 23:19:04 GMT