package coq-printf
Implementation of sprintf for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.0.tar.gz
sha512=5add49c9ea66f6e8d707da99a542665366d9548065706b583c9dfd6727d2f144f64d629e70fd83dd72d071d39ec8316e35b6b1b551ec3f60d7487efba4c6110a
Description
Library providing implementation of sprintf for Coq
On This Page