/lean-sublime-syntax

sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)

This repository is not active