Skip to content

Print huge natVal literals in sub-quadratic time - #52

Open
lordwilsonDev wants to merge 1 commit into
leanprover:masterfrom
lordwilsonDev:fast-natval-decimal
Open

Print huge natVal literals in sub-quadratic time#52
lordwilsonDev wants to merge 1 commit into
leanprover:masterfrom
lordwilsonDev:fast-natval-decimal

Commits

Commits on Sep 19, 2026