frank/sharkdp--bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat synced 2026-06-09 10:03:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
sharkdp--bat/tests/syntax-tests/source/Lean
T
History
Y.D.X. (Gitpod) bfd8776042 chore: Follow Lean upstream
2025-07-11 12:56:46 +08:00
..
LICENSE.md
chore: Follow Lean upstream
2025-07-11 12:56:46 +08:00
test.lean
Update Lean.sublime-syntax from Lean 3 to Lean 4
2025-06-10 17:41:33 +08:00