pygments-rzk

PyPI page
Home page
Author: Nikolai Kudasov
License: BSD 3
Summary: Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).
Latest version: 0.1.4
Required dependencies: pygments

Downloads last day: 0
Downloads last week: 11
Downloads last month: 45