package coq-printf
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Implementation of sprintf for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.2.tar.gz
sha512=1c26cef48739674e5a286a4e2fd9a85b735c998e43c4c400719b0daaa9117a5f64657e7f6fb43149c3af064436ee4eba7ef79619623ef93af904ea833a84f396
Description
Library providing implementation of sprintf for Coq
On This Page