EngineeringSoftware/roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

Roosterize VSCode Extension

Authors

• Pengyu Nie
• Karl Palmskog
• Emilio Jesús Gallego Arias
• Junyi Jessy Li
• Milos Gligoric