NikolaiKudasovfizruk.rzk-1-experimental-highlighting

Rzk

Total downloads

1,977

7d gain

22

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.4.6

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: NikolaiKudasovfizruk
Name: rzk-1-experimental-highlighting
License: -
Homepage: https://github.com/rzk-lang/vscode-rzk#readme
Repository: https://github.com/rzk-lang/vscode-rzk.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Interactive theorem proving support in VS Code for Rzk, a proof assistant for synthetic ∞-categories

Archive

Release history

7 latest releases