Metadata-Version: 2.4
Name: IsaMini
Version: 0.3.5
Summary: The minimal proof language for Isabelle
Author-email: Qiyuan Xu <xqyww123@gmail.com>
License-Expression: LGPL-2.1-or-later
Project-URL: Homepage, https://github.com/xqyww123/Isa-Proof-Shell
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: OS Independent
Description-Content-Type: text/markdown
License-File: COPYING
License-File: COPYING.LESSER
Requires-Dist: msgpack
Dynamic: license-file
