PyPI recent updates for IsaMini https://pypi.org/project/isamini/ Recent updates to the Python Package Index for IsaMini en 0.3.5 https://pypi.org/project/isamini/0.3.5/ The minimal proof language for Isabelle xqyww123@gmail.com Sun, 18 May 2025 16:00:29 GMT