PyPI recent updates for gonzalgo https://pypi.org/project/gonzalgo/ Recent updates to the Python Package Index for gonzalgo en 0.5.2 https://pypi.org/project/gonzalgo/0.5.2/ Measure where a formal library spends its axioms: Lean 4 and Metamath. Wed, 05 Aug 2026 21:45:09 GMT 0.5.1 https://pypi.org/project/gonzalgo/0.5.1/ Measure where a formal library spends its axioms: Lean 4 and Metamath. Wed, 05 Aug 2026 19:25:58 GMT 0.5.0 https://pypi.org/project/gonzalgo/0.5.0/ Measure where a formal library spends its axioms: Lean 4 and Metamath. Wed, 05 Aug 2026 15:49:06 GMT 0.4.0 https://pypi.org/project/gonzalgo/0.4.0/ Measure where a formal library spends its axioms: Lean 4 and Metamath. Wed, 05 Aug 2026 13:30:42 GMT 0.3.0 https://pypi.org/project/gonzalgo/0.3.0/ Measure where a formal library spends its axioms: Lean 4 and Metamath. Wed, 05 Aug 2026 01:57:43 GMT 0.1.1 https://pypi.org/project/gonzalgo/0.1.1/ Measure where a formal library spends its axioms: Lean 4 and Metamath. Tue, 04 Aug 2026 08:55:03 GMT 0.1.0 https://pypi.org/project/gonzalgo/0.1.0/ Measure where a formal library spends its axioms — Lean 4 and Metamath. Tue, 04 Aug 2026 05:08:06 GMT