NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Activity
Manifest
Taxonomy
Description
Interactive theorem proving support in VS Code for Rzk, a proof assistant for synthetic ∞-categories
Archive
This site is cookieless. With your consent it loads privacy-friendly, self-hosted Umami analytics - anonymous page counts only, no tracking across sites.