Latest version: v0.1.4
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).
No known vulnerabilities found
Has known vulnerabilities