Last released Nov 2, 2023
A MkDocs plugin for Literate Rzk
Last released Sep 7, 2023
Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).
Supported by