GitHub repository: uwplse/ornamental-search
Primary language: Coq
Description: DEVOID: Ornaments for Proof Reuse in Coq