cpitclaudel/company-coq

corfu

Opened this issue · 0 comments

jgarte commented

Hi,

Has anyone tested corfu with proof general as an alternative to company?