https://github.com/lean-ja/lean-sublime-syntax
sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)
https://github.com/lean-ja/lean-sublime-syntax
lean lean4 syntax-highlighting zola
Last synced: 4 days ago
JSON representation
sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)
- Host: GitHub
- URL: https://github.com/lean-ja/lean-sublime-syntax
- Owner: lean-ja
- Created: 2023-10-30T10:43:05.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-10-30T12:28:49.000Z (over 2 years ago)
- Last Synced: 2026-05-23T00:59:28.362Z (about 1 month ago)
- Topics: lean, lean4, syntax-highlighting, zola
- Homepage:
- Size: 1.95 KB
- Stars: 4
- Watchers: 1
- Forks: 1
- Open Issues: 0