chasingbrains··on Lean now ships with verified kernelsSorry for almost completely unrelated shower thought but: there is an opportunity to name your blog “Leanardo”
chasingbrains··on Making any integer with four 2sIs 7 really notoriously difficult to define?7 = 2/2 + 2 + 2 + 2