https://pypi.org/project/metispy/ Recent updates to the Python Package Index for metispy en https://pypi.org/project/metispy/0.1.2/ The metis python referee + research kit: exact semantics, learning, the formalize harness — cross-checking the metis-lang toolchain Thu, 22 Oct 2026 09:26:18 GMT https://pypi.org/project/metispy/0.1.1/ The metis python referee + research kit: exact semantics, learning, the formalize harness — cross-checking the metis-lang toolchain Mon, 19 Oct 2026 16:48:57 GMT https://pypi.org/project/metispy/0.1.0/ The metis python referee + research kit: exact semantics, learning, the formalize harness — cross-checking the metis-lang toolchain Mon, 19 Oct 2026 15:19:38 GMT