Roosterize
MITPythonv1.1.0+8.10.2
A neural network-based tool that suggests lemma names for Coq verification projects by analyzing serialized statements and elaborated terms.
22 stars5 forks0 contributors
Overview
Tool for suggesting lemma names in Coq verification projects
Related Projects
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
