• License: Apache-2.0
• Home: https://github.com/inpefess/isabelle-client
• Development: https://github.com/inpefess/isabelle-client
• Documentation: https://isabelle-client.readthedocs.io/
• 23455 total downloads
• Last upload: 14 days and 12 hours ago

Description

isabelle-client is a TCP client for Isabelle server. For more information about the server see part 4 of the Isabelle system manual: https://isabelle.in.tum.de/dist/Isabelle2021-1/doc/system.pdf