GitHub repository: DenisGorbachev/vscode-lean4-language-configuration
Primary language: JavaScript
Created: 2023-08-05T11:29:34Z
Description: A custom language configuration for Lean 4 in VSCode