GitHub repository: ntabee/vscode-lean-symbols
Primary language: TypeScript
Created: 2020-03-02T02:46:01Z
Description: List of symbol translation tables for "Lean for VS Code"