GitHub repository: madvorak/vscode-lean4-colors
Created: 2023-07-19T16:13:08Z
Description: My color settings for Lean 4 in VS Code