PyPI recent updates for kurt-lang https://pypi.org/project/kurt-lang/ Recent updates to the Python Package Index for kurt-lang en 0.7.6 https://pypi.org/project/kurt-lang/0.7.6/ Kurt: a small language for mathematical proofs close to how humans write them, checked automatically. stefan.harmeling@cs.tu-dortmund.de Wed, 07 Oct 2026 21:55:18 GMT 0.7.5 https://pypi.org/project/kurt-lang/0.7.5/ Kurt: a small language for mathematical proofs close to how humans write them, checked automatically. stefan.harmeling@cs.tu-dortmund.de Tue, 06 Oct 2026 19:07:52 GMT 0.7.4 https://pypi.org/project/kurt-lang/0.7.4/ Kurt: a small language for mathematical proofs close to how humans write them, checked automatically. stefan.harmeling@cs.tu-dortmund.de Tue, 06 Oct 2026 16:22:30 GMT 0.7.3 https://pypi.org/project/kurt-lang/0.7.3/ Kurt: a small language for mathematical proofs close to how humans write them, checked automatically. stefan.harmeling@tu-dortmund.de Mon, 05 Oct 2026 20:45:10 GMT 0.7.2 https://pypi.org/project/kurt-lang/0.7.2/ Kurt: a small language for mathematical proofs close to how humans write them, checked automatically. stefan.harmeling@tu-dortmund.de Mon, 05 Oct 2026 14:50:25 GMT 0.7.1 https://pypi.org/project/kurt-lang/0.7.1/ Kurt: a small language for mathematical proofs close to how humans write them, checked automatically. stefan.harmeling@tu-dortmund.de Sat, 03 Oct 2026 07:07:13 GMT