GitHub repository: EngineeringSoftware/roosterize
Primary language: Python
Description: Tool for suggesting lemma names in Coq verification projects