gentoo.mahdi.cz

  

dev-python:isabelle-client


A client to Isabelle proof assistant server
https://github.com/inpefess/isabelle-client

isabelle-client-0.4.9Apache-2.0
download~amd64 ~x86pypi