Versions

Description

A client for [Isabelle](https://isabelle.in.tum.de) server.

Repository

https://github.com/inpefess/isabelle-client.git

Project Slug

isabelle-client

Last Built

3 days, 11 hours ago passed

Maintainers

Home Page

https://pypi.org/project/isabelle-client/

Badge

Tags

client, tcp, isabelle

Short URLs

isabelle-client.readthedocs.io
isabelle-client.rtfd.io

Default Version

latest

'latest' Version

master