John Regehr4d ago

wow so glad I can extract this minimal and efficient C++ from my verified Kernighan popcount in Lean 😅

https://gist.github.com/regehr/3461027009efbe9452d8a5c343174443

gist:3461027009efbe9452d8a5c343174443

GitHub Gist: instantly share code, notes, and snippets.

Gist
Show threadG. Wozniak
@regehr Minimal examples are famous for their unused parameters.
Mar 22 at 5:45pmWeb