GitHub repository: EngineeringSoftware/roosterize-vscode
Primary language: TypeScript
Description: VSCode extension for Roosterize, a tool for suggesting lemma names in Coq