/coq-scripts

Various useful scripts for dealing with Coq files

Primary LanguageCoqMIT LicenseMIT

Watchers