/coq.ctags

Universal Ctags optlib parser for Coq

Primary LanguageCoqMIT LicenseMIT

Watchers