Icons for literate Rzk files

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.

Other

8 stars 1 forks source link

Closed fizruk closed 1 year ago

fizruk commented 1 year ago

Closes #4 and #8.

Here are all icons in higher resolution (1000x1000px) for reference: rzk-md rzk-tex rzk