rzk-lang / pygments-rzk Goto Github PK
View Code? Open in Web Editor NEWPygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).
Home Page: https://pypi.org/project/pygments-rzk/
License: BSD 3-Clause "New" or "Revised" License