sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)
Repository from Github https://github.comlean-ja/lean-sublime-syntax
sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)