File History
grammars/source.lean4.json
in
github-linguist
3 total files
github-linguist-1.0.0
to
github-linguist-7.27.0
(196 versions)
Not present
github-linguist-7.28.0
Download
github-linguist-7.29.0
to
github-linguist-8.0.1
(4 versions)
Download
Diff with previous