fact: Definition nat2string2 : nat -> string.
imports: Coq.Strings.String Coq.Program.Program Coq.Arith.PeanoNat ExtLib.Tactics.Consider ExtLib.Core.RelDec ExtLib.Structures.Reducible ExtLib.Structures.Monoid ExtLib.Data.Char ExtLib.Data.Nat