Avatar for Nikolai Kudasov from gravatar.com

Nikolai Kudasov

Username    fizruk
Date joined   Joined

2 projects

pygments-rzk

Last released

Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).

mkdocs-plugin-rzk

Last released

A MkDocs plugin for Literate Rzk

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page