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.6
Required dependencies:
pygments
Downloads last day:
95
Downloads last week:
212
Downloads last month:
505