gentoo.mahdi.cz
dev-python
:isabelle-client
A client to Isabelle proof assistant server
https://github.com/inpefess/isabelle-client
isabelle-client-0.4.9
Apache-2.0
download
~amd64 ~x86
pypi