/coq-tactical

Library of Coq proof automation

Primary LanguageCoqMIT LicenseMIT

Watchers