mirror of
https://github.com/sharkdp/bat.git
synced 2025-03-03 17:28:50 +00:00
Covers syntax for Lean 3, an interactive theorem prover at https://leanprover-community.github.io/ whose users mostly use VSCode.
Covers syntax for Lean 3, an interactive theorem prover at https://leanprover-community.github.io/ whose users mostly use VSCode.