EngineeringSoftware / roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

Repository from Github https://github.comEngineeringSoftware/roosterize-vscode

code-summarization coq deep-learning machine-learning vscode vscode-extension

Roosterize VSCode Extension

Authors

About

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

code-summarization coq deep-learning machine-learning vscode vscode-extension

MIT License

Languages

Language:TypeScript 100.0%