feat: verification of Nat.toDigits, Nat.repr and ToString Nat#12445

datokrat merged 3 commits intomasterleanprover/lean4:masterfrom

paul/todigitsleanprover/lean4:paul/todigitsCopy head branch name to clipboard