https://github.com/rtjoa/tree-assume-semantics
https://github.com/rtjoa/tree-assume-semantics
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/rtjoa/tree-assume-semantics
- Owner: rtjoa
- Created: 2024-02-16T05:00:30.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-02-28T03:17:48.000Z (over 2 years ago)
- Last Synced: 2025-01-16T16:19:51.036Z (over 1 year ago)
- Language: TeX
- Size: 1.05 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: