Skip to content
@violet-prover

violet-prover

README.md

Pinned Loading

  1. std std Public

    The standard library (MLTT) of violet

  2. tree-sitter-violet tree-sitter-violet Public

    Tree sitter of violet

    C

  3. vscode-violet vscode-violet Public

    vscode extension for violet

    C

  4. setup-violet setup-violet Public

    A GH action for installing violet.

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…