/coq-algorithms

A logical representation (LL) of algorithms in Coq

Primary LanguageCoqMIT LicenseMIT

Watchers