Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/hoddy3190/isabellethm
https://github.com/hoddy3190/isabellethm
Last synced: 17 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/hoddy3190/isabellethm
- Owner: hoddy3190
- Created: 2020-08-02T15:07:44.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-02-28T07:58:36.000Z (almost 3 years ago)
- Last Synced: 2024-11-02T07:15:01.257Z (3 months ago)
- Language: Isabelle
- Size: 16.6 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0