pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!

--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/EngineeringSoftware/roosterize-vscode

> GitHub - EngineeringSoftware/roosterize-vscode: VSCode extension for Roosterize, a tool for suggesting lemma names in Coq · GitHub

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

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

Custom properties

Report repository

Releases

Packages

Contributors

Languages

pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy