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.1.tar.gz
sha512=41870c51fc40f751fbb6e793a5b54b2f9cbddc43efc860758c0af0b291f5a9454583676e87a5584b28a5e72ebdcdd0f903c743160c501b3d940fe232738d718d
Description
Library providing implementation of sprintf for Coq
On This Page