GitHub repository: Chobbes/coq-printf
Description: Implementation of sprintf for Coq