Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "TCP client" keyword

isabelle-client 0.4.9

A client to Isabelle proof assistant server
49 versions - Latest release: 2 months ago - 1 dependent repositories - 482 downloads last month - 9 stars on GitHub - 1 maintainer

Related Keywords

Isabelle proof assistant 1 interactive theorem prover 1 isabelle 1 tcp-client 1