GitHub repository: leanprover-community/highlightjs-lean
Primary language: JavaScript
Created: 2020-03-19T20:58:36Z
Description: A highlight.js language grammar for the Lean theorem proving language.