Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Isabelle Client

A client for Isabelle server (https://isabelle.in.tum.de)
Stars
7
License
apache-2.0
Open Issues
4
Most Recent Commit
4 months ago
Programming Language
TeX
Monthly Downloads
pypi isabelle-client Downloads
Dependent Packages
1
Total Releases
46
Latest Release
November 26, 2023
Categories
Repo
Suggest An Alternative To isabelle-client
Popular Tex Projects
Popular Tcp Client Projects
Oicq ⭐ 2,657
Tencent QQ Bot Library for Node.js
dependent packages 46total releases 175latest release June 21, 2022most recent commit 7 months agonpm oicq} Downloads
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tex
Tcp Client
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.