EngineeringSoftware / roosterize-vscode Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

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

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 94 Commits
.github		.github
.vscode		.vscode
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
package-lock.json		package-lock.json
package.json		package.json
tsconfig.json		tsconfig.json

Repository files navigation

Roosterize VSCode Extension

Authors

About

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

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

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

TypeScript 100.0%