/roosterize

Tool for suggesting lemma names in Coq verification projects

Primary LanguagePythonMIT LicenseMIT

Stargazers