Top 8.2% on proxy.golang.org
proxy.golang.org : github.com/EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/%21engineering%21software/roosterize
Keywords:
coq
, deep-learning
, machine-learning
, mathcomp
, name-generation
, neural-networks
, pytorch
, serapi
License: MIT
Latest release: over 5 years ago
First release: over 5 years ago
Namespace: github.com/EngineeringSoftware
Stars: 21 on GitHub
Forks: 5 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago
Loading...
Readme
Loading...