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:
0
Downloads last week:
15
Downloads last month:
42
7-day smoothing