Add still-nanoda checker with some ongoing optimization efforts#38

nomeata merged 2 commits into

leanprover:masterleanprover/lean-kernel-arena:masterfrom

SchrodingerZhu:add-still-nanoda-checkerSchrodingerZhu/lean-kernel-arena:add-still-nanoda-checkerCopy head branch name to clipboard