Since VIM seems to be inspired by efficiency, I was curious what the "most efficient" way to solve any particular challenge would be. It was really nontrivial to make significant progress on a proof based approach so it seemed like a leetcode style community ranking driven leaderboard would be a pretty good proxy for what seems to be accepted on as "goodness"