formal-land / rocq-code-assistant Public

Visual Studio Code extension for AI-assisted coding

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
.vscode		.vscode
src		src
.gitignore		.gitignore
.vscode-test.mjs		.vscode-test.mjs
.vscodeignore		.vscodeignore
CHANGELOG.md		CHANGELOG.md
README.md		README.md
eslint.config.mjs		eslint.config.mjs
package-lock.json		package-lock.json
package.json		package.json
tsconfig.json		tsconfig.json