# engineeringsoftware/roosterize

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/engineeringsoftware-roosterize).**

22 stars · 5 forks · Python · MIT

## Links

- GitHub: https://github.com/EngineeringSoftware/roosterize
- awesome-repositories: https://awesome-repositories.com/repository/engineeringsoftware-roosterize.md

## Description

Roosterize is a tool for suggesting lemma names in verification projects that use the Coq proof assistant. The tool is based on leveraging neural networks that take serialized Coq lemma statements and elaborated terms as input; see the Technique section below.

## Tags

### Part of an Awesome List

- [Tools](https://awesome-repositories.com/f/awesome-lists/more/tools.md) — Listed in the “Tools” section of the Awesome Coq awesome list.