PyPI recent updates for machinechecked https://pypi.org/project/machinechecked/ Recent updates to the Python Package Index for machinechecked en 0.1.11 https://pypi.org/project/machinechecked/0.1.11/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Sat, 17 Oct 2026 21:40:19 GMT 0.1.10 https://pypi.org/project/machinechecked/0.1.10/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Sat, 17 Oct 2026 20:55:35 GMT 0.1.9 https://pypi.org/project/machinechecked/0.1.9/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Sat, 17 Oct 2026 18:05:52 GMT 0.1.8 https://pypi.org/project/machinechecked/0.1.8/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Sat, 17 Oct 2026 16:03:43 GMT 0.1.7 https://pypi.org/project/machinechecked/0.1.7/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Sat, 17 Oct 2026 11:11:33 GMT 0.1.6 https://pypi.org/project/machinechecked/0.1.6/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Sat, 17 Oct 2026 10:36:26 GMT 0.1.5 https://pypi.org/project/machinechecked/0.1.5/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Fri, 16 Oct 2026 19:42:10 GMT 0.1.4 https://pypi.org/project/machinechecked/0.1.4/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Fri, 16 Oct 2026 18:42:56 GMT 0.1.3 https://pypi.org/project/machinechecked/0.1.3/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Fri, 16 Oct 2026 18:13:45 GMT 0.1.2 https://pypi.org/project/machinechecked/0.1.2/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Fri, 16 Oct 2026 16:37:20 GMT 0.1.1 https://pypi.org/project/machinechecked/0.1.1/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Fri, 16 Oct 2026 15:48:35 GMT 0.1.0 https://pypi.org/project/machinechecked/0.1.0/ Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes. Fri, 16 Oct 2026 15:03:25 GMT