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

Print huge natural-number literals in sub-quadratic time

21deacb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs