GitHub repository: mimosa-project/emvscode
Primary language: TypeScript
Created: 2019-07-23T06:08:36Z
Description: VSCode Extension for eco-Mizar