/coq-printf

Implementation of sprintf for Coq

Primary LanguageCoqMIT LicenseMIT

Issues