https://github.com/forked-from-1kasper/arend-vscode
https://github.com/forked-from-1kasper/arend-vscode
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/forked-from-1kasper/arend-vscode
- Owner: forked-from-1kasper
- Created: 2019-01-04T12:43:23.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-01-20T15:57:16.000Z (over 6 years ago)
- Last Synced: 2025-01-07T08:27:08.561Z (5 months ago)
- Size: 47.9 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0